val subscribeWindow = new Hbugs_client_gui.subscribeWindow ()
val messageDialog = new Hbugs_client_gui.messageDialog ()
val myOwnId = Hbugs_id_generator.new_client_id ()
val subscribeWindow = new Hbugs_client_gui.subscribeWindow ()
val messageDialog = new Hbugs_client_gui.messageDialog ()
val myOwnId = Hbugs_id_generator.new_client_id ()
val mutable myOwnUrl = "localhost:49082"
val mutable brokerUrl = "localhost:49081"
val mutable brokerId: broker_id option = None
val mutable myOwnUrl = "localhost:49082"
val mutable brokerUrl = "localhost:49081"
val mutable brokerId: broker_id option = None
ignore (mainWindow#hbugsMainWindow#event#connect#destroy
(fun _ -> on_exit ()));
ignore (mainWindow#hbugsMainWindow#event#connect#delete
ignore (mainWindow#hbugsMainWindow#event#connect#destroy
(fun _ -> on_exit ()));
ignore (mainWindow#hbugsMainWindow#event#connect#delete