Method: Roby::Application#stop_log_server

Defined in:
lib/roby/app.rb

#stop_log_server ⇒ Object 



2467
2468
2469
2470
2471
2472
 
# File 'lib/roby/app.rb', line 2467

def stop_log_server
    if @log_server_pid
        Process.kill("INT", @log_server_pid)
        @log_server_pid = nil
    end
end