public static void initEnv() throws NamingException {
if (initialized) {
return;
}
InitialNaming.setNameSpace(new BasicNameSpace());
InitialNaming.bind(DeviceManager.NAME, DeviceManager.INSTANCE);
AliasManager alias_mgr =
new DefaultAliasManager(new DummyExtensionPoint()).createAliasManager();
InitialNaming.bind(AliasManager.NAME, alias_mgr);
InitialNaming.bind(ShellManager.NAME, new DefaultShellManager());
InitialNaming.bind(HelpFactory.NAME, new DefaultHelpFactory());
BasicConfigurator.configure();
initialized = true;
}
