# HG changeset patch # User one@firefly.cr.ie.u-ryukyu.ac.jp # Date 1413452748 -32400 # Node ID 5a09805898d2a7ce3c59a549b9c581ce099d0808 # Parent 1819e9c5d0cdcd1a1a359bc35a37b391cc06b387 small fix. diff -r 1819e9c5d0cd -r 5a09805898d2 src/main/java/com/glavsoft/rfb/protocol/ReceiverTask.java --- a/src/main/java/com/glavsoft/rfb/protocol/ReceiverTask.java Thu Oct 16 18:38:39 2014 +0900 +++ b/src/main/java/com/glavsoft/rfb/protocol/ReceiverTask.java Thu Oct 16 18:45:48 2014 +0900 @@ -40,7 +40,6 @@ import com.glavsoft.rfb.encoding.decoder.RichCursorDecoder; import com.glavsoft.rfb.encoding.decoder.ZRLEESender; import com.glavsoft.transport.Reader; -import com.glavsoft.viewer.TreeViewer; import java.io.PrintWriter; import java.io.StringWriter; @@ -154,9 +153,6 @@ sleep(3000); } } - } else if (isRunning) { - // logger.severe("Close proxy: "); - // context.cleanUpSession("Connection closed."); } stopTask(); } catch (ProtocolException e) {