1 /*
2  * @(#) $Id: JSTKShell.java,v 1.2 2003/07/08 08:13:53 pankaj Exp $
3  *
4  * Copyright (c) 2002-03 by Pankaj Kumar (http://www.pankaj-k.net). 
5  * All rights reserved.
6  *
7  * The license governing the use of this file can be found in the 
8  * root directory of the containing software.
9  */
10package org.jstk.jstksh;
11
12import java.rmi.Remote;
13import java.rmi.RemoteException;
14import javax.security.auth.Subject;
15
16public interface JSTKShell extends Remote {
17    public String execCommand(String[] cmdargs) throws Exception;
18    public String createSession() throws Exception;
19    public void destroySession(String sessId) throws Exception;
20    public void setSubject(Subject sub) throws Exception;
21}
22