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 Receiver info = ids.create(CommandType.TAKE);

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

}