diff src/main/java/jp/ac/u_ryukyu/alicevnc/StopProxy.java @ 86:4a8755a30aa8 default tip

add topology manager number to 'host' key
author Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
date Wed, 10 Feb 2016 22:54:46 +0900
parents 57ca704f86a3
children
line wrap: on
line diff
--- a/src/main/java/jp/ac/u_ryukyu/alicevnc/StopProxy.java	Sat Jan 30 21:12:23 2016 +0900
+++ b/src/main/java/jp/ac/u_ryukyu/alicevnc/StopProxy.java	Wed Feb 10 22:54:46 2016 +0900
@@ -8,9 +8,11 @@
 
 public class StopProxy extends CodeSegment {
 
+    private int topMNumber;
     private Receiver info = ids.create(CommandType.TAKE);
 
-    public StopProxy() {
+    public StopProxy(int topMNumber) {
+        this.topMNumber = topMNumber;
         info.setKey("viewer");
     }
     @Override
@@ -18,7 +20,7 @@
         System.out.println("call clean up session");
         Viewer v = info.asClass(Viewer.class);
         v.closeApp();
-        new ReceiveAliceVNCMessage();
+        new ReceiveAliceVNCMessage(topMNumber);
     }
 
 }