package jp.ac.u_ryukyu.alicevnc;

import com.glavsoft.rfb.protocol.Protocol;

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("Protocol");
    }
    @Override
    public void run() {
        System.out.println("call clean up session");
        Protocol p = info.asClass(Protocol.class);
        p.cleanUpSession();

    }

}