private void DisposePageHavingResources() { try { Console.WriteLine("DisposePageHavingResources called!"); if (player != null) { // サウンド回りの終了処理はこの呼び出しで全て行われる player.togglePlayingTCP(); player = null; } if (socket != null) { // input server および image server との通信に利用しているソケットの終了処理 Device.BeginInvokeOnMainThread(() => { if (socket != null) { socket.Dispose(); } socket = null; }); } if (vdecoder != null) { vdecoder.Close(); vdecoder = null; } }catch (Exception e) { Console.WriteLine(e.ToString()); } }
public void connectToSoundServer() { player = new TCPSoundStreamPlayer(); player.togglePlayingTCP(); }