QuitHandler.java

//---------------------------------------------------------------------------
//  Copyright 2006-2009
//    Dan Roozemond, d.a.roozemond@tue.nl, (TU Eindhoven, Netherlands)
//    Peter Horn, horn@math.uni-kassel.de (University Kassel, Germany)
//
//  Licensed under the Apache License, Version 2.0 (the "License");
//  you may not use this file except in compliance with the License.
//  You may obtain a copy of the License at
//
//      http://www.apache.org/licenses/LICENSE-2.0
//
//  Unless required by applicable law or agreed to in writing, software
//  distributed under the License is distributed on an "AS IS" BASIS,
//  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
//  See the License for the specific language governing permissions and
//  limitations under the License.
//---------------------------------------------------------------------------

package org.symcomp.wupsi.handlers;

import org.symcomp.wupsi.Wupsifer;
import org.symcomp.scscp.SCSCPClient;

import java.util.Map;

/**
 * handles the 'quit' command, which closes WUPSI.
 */
public class QuitHandler extends WupsiHandler {

    Wupsifer w;

    public QuitHandler(Wupsifer w) {
        this.w = w;
    }

    public String command() {
        return "quit";
    }

    public void handle(String in) {
        Map<String,SCSCPClient> clients = w.getClients();
        for (String n : clients.keySet()) {
             w.info("# disconnecting "+n);
             SCSCPClient client = clients.get(n);
             client.quit();
        }
        w.info("# shutting down handlers");
        for (WupsiHandler wh : w.getHandlers()) {
            wh.shutdownHook();
        }
        w.info("# ...quitting");
        System.exit(0);
    }

    public String help() {
        return "quit";
    }
}