comparison 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
comparison
equal deleted inserted replaced
85:e9005f975703 86:4a8755a30aa8
6 import alice.datasegment.CommandType; 6 import alice.datasegment.CommandType;
7 import alice.datasegment.Receiver; 7 import alice.datasegment.Receiver;
8 8
9 public class StopProxy extends CodeSegment { 9 public class StopProxy extends CodeSegment {
10 10
11 private int topMNumber;
11 private Receiver info = ids.create(CommandType.TAKE); 12 private Receiver info = ids.create(CommandType.TAKE);
12 13
13 public StopProxy() { 14 public StopProxy(int topMNumber) {
15 this.topMNumber = topMNumber;
14 info.setKey("viewer"); 16 info.setKey("viewer");
15 } 17 }
16 @Override 18 @Override
17 public void run() { 19 public void run() {
18 System.out.println("call clean up session"); 20 System.out.println("call clean up session");
19 Viewer v = info.asClass(Viewer.class); 21 Viewer v = info.asClass(Viewer.class);
20 v.closeApp(); 22 v.closeApp();
21 new ReceiveAliceVNCMessage(); 23 new ReceiveAliceVNCMessage(topMNumber);
22 } 24 }
23 25
24 } 26 }