server.rb in roby-0.8.0

- old
+ new

@@ -45,13 +45,10 @@
 		finger = Rinda::RingFinger.new(broadcast, port)
 
 		discovered_displays = Array.new
 		@available_servers  = Array.new
 
-		# Add disable_discovery in the list of finalizers
-		Control.finalizers << method(:disable_discovery)
-
 		@discovery_thread = Thread.new do
 		    begin
 			loop do
 			    finger.lookup_ring(period) do |remote|
 				synchronize do
@@ -73,10 +70,10 @@
 		end
 	    end
 
 	    # Stops the discovery thread if it is running
 	    def self.disable_discovery
-		Control.finalizers.delete(method(:disable_discovery))
+		Roby.engine.finalizers.delete(method(:disable_discovery))
 		if @discovery_thread
 		    @discovery_thread.raise Interrupt, "quitting"
 		    @discovery_thread.join
 		    @discovery_thread = nil
 