package jp.ac.u_ryukyu.alicevnc;

import com.glavsoft.viewer.Viewer;

import alice.codesegment.CodeSegment;
import alice.datasegment.CommandType;
import alice.datasegment.Receiver;

public class StopProxy extends CodeSegment {

    private int topMNumber;
    private Receiver info = ids.create(CommandType.TAKE);

    public StopProxy(int topMNumber) {
        this.topMNumber = topMNumber;
        info.setKey("viewer");
    }
    @Override
    public void run() {
        System.out.println("call clean up session");
        Viewer v = info.asClass(Viewer.class);
        v.closeApp();
        new ReceiveAliceVNCMessage(topMNumber);
    }

}