shellmanager.java

纯java操作系统jnode,安装简单和操作简单的个人使用的Java操作系统

/*
 * $Id: ShellManager.java,v 1.2 2004/01/21 16:06:11 epr Exp $
 */
package org.jnode.shell;

/**
 * @author epr
 */
public interface ShellManager {

	/**
	 * Name used to bind this manager into the InitialNaming namespace.
	 * @see org.jnode.naming.InitialNaming
	 */
	public static final Class NAME = ShellManager.class;//"jnode/shellmanager";

	/**
	 * Gets the current shell 
	 */
	public Shell getCurrentShell();

	/**
	 * Register the new current shell
	 * @param currentShell
	 */
	public void registerShell(Shell currentShell);

}