private void OnNetworkStateChanged(object o, NetworkStateChangedArgs args) { if (!args.Connected) { browser.Dispose(); browser = null; return; } Browse(); }
private void OnNetworkStateChanged(object o, NetworkStateChangedArgs args) { RefreshFeeds(); }
private void HandleNetworkStateChanged(object o, NetworkStateChangedArgs args) { connection.UpdateNetworkState(args.Connected); }
private void OnNetworkManagerEvent(object o, EventArgs args) { try { State new_state = nm_manager.State; if(new_state != current_state && (new_state == State.Connected || new_state == State.Disconnected)) { current_state = new_state; NetworkStateChangedHandler handler = StateChanged; if(handler != null) { NetworkStateChangedArgs state_changed_args = new NetworkStateChangedArgs(); state_changed_args.Connected = Connected; handler(this, state_changed_args); } Device active_device = nm_manager.ActiveDevice; if(Connected && active_device != null) { Console.WriteLine ("Network Connection Established", String.Format("{0} ({1})", active_device.Name, active_device.IP4Address)); } else if(Connected) { Console.WriteLine ("Network Connection Established", "Active Device Unknown"); } else { Console.WriteLine ("Network Connection Unavailable", "Disconnected"); } } } catch(Exception) { } }