454 |
mutable op_network_connected_servers : (unit -> server list); |
mutable op_network_connected_servers : (unit -> server list); |
455 |
mutable op_network_is_enabled : (unit -> bool); |
mutable op_network_is_enabled : (unit -> bool); |
456 |
mutable op_network_save_complex_options : (unit -> unit); |
mutable op_network_save_complex_options : (unit -> unit); |
457 |
|
mutable op_network_save_sources : (unit -> unit); |
458 |
mutable op_network_load_complex_options : (unit -> unit); |
mutable op_network_load_complex_options : (unit -> unit); |
459 |
mutable op_network_enable : (unit -> unit); |
mutable op_network_enable : (unit -> unit); |
460 |
mutable op_network_disable : (unit -> unit); |
mutable op_network_disable : (unit -> unit); |