diff options
Diffstat (limited to 'src/lanes.lua')
-rw-r--r-- | src/lanes.lua | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/lanes.lua b/src/lanes.lua index 0ab6661..05275de 100644 --- a/src/lanes.lua +++ b/src/lanes.lua | |||
@@ -396,7 +396,6 @@ local configure_timers = function() | |||
396 | -- remains. | 396 | -- remains. |
397 | -- | 397 | -- |
398 | local timer_body = function() | 398 | local timer_body = function() |
399 | set_debug_threadname("LanesTimer") | ||
400 | -- | 399 | -- |
401 | -- { [deep_linda_lightuserdata]= { [deep_linda_lightuserdata]=linda_h, | 400 | -- { [deep_linda_lightuserdata]= { [deep_linda_lightuserdata]=linda_h, |
402 | -- [key]= { wakeup_secs [,period_secs] } [, ...] }, | 401 | -- [key]= { wakeup_secs [,period_secs] } [, ...] }, |
@@ -787,6 +786,7 @@ lanes.configure = function(settings_) | |||
787 | lanes.set_thread_priority = core.set_thread_priority | 786 | lanes.set_thread_priority = core.set_thread_priority |
788 | lanes.threads = core.threads or function() error "lane tracking is not available" end -- core.threads isn't registered if settings.track_lanes is false | 787 | lanes.threads = core.threads or function() error "lane tracking is not available" end -- core.threads isn't registered if settings.track_lanes is false |
789 | 788 | ||
789 | lanes.configure = nil -- no need to call configure() ever again | ||
790 | lanes.gen = gen | 790 | lanes.gen = gen |
791 | lanes.genatomic = genatomic | 791 | lanes.genatomic = genatomic |
792 | lanes.genlock = genlock | 792 | lanes.genlock = genlock |
@@ -794,7 +794,6 @@ lanes.configure = function(settings_) | |||
794 | lanes.timer = timer | 794 | lanes.timer = timer |
795 | lanes.timer_lane = timer_lane | 795 | lanes.timer_lane = timer_lane |
796 | lanes.timers = timers | 796 | lanes.timers = timers |
797 | lanes.configure = nil -- no need to call configure() ever again | ||
798 | return lanes | 797 | return lanes |
799 | end -- lanes.configure | 798 | end -- lanes.configure |
800 | 799 | ||