defaultshellmanager.java

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

/*
 * $Id: DefaultShellManager.java,v 1.1 2003/11/25 11:53:00 epr Exp $
 */
package org.jnode.shell.def;

import org.jnode.shell.Shell;
import org.jnode.shell.ShellManager;

/**
 * @author epr
 */
public class DefaultShellManager implements ShellManager {

	private final InheritableThreadLocal currentShell = new InheritableThreadLocal();

	/**
	 * @see org.jnode.shell.ShellManager#getCurrentShell()
	 */
	public Shell getCurrentShell() {
		return (Shell)currentShell.get();
	}
	
	/**
	 * Register the new current shell
	 * @param currentShell
	 */
	public void registerShell(Shell currentShell) {
		this.currentShell.set(currentShell);
	}
}