procSdb.command("./sdbscript", "emulator-" + portSdb);
/*
* procSdb.command( "/usr/X11/bin/uxterm", "-T", "emulator-"
- * + portSdb, "-e", sdbPath,"shell");
+ * + portSdb, "-e", sdbPath, "shell");
*/
} else { /* Linux */
- procSdb.command("/usr/bin/gnome-terminal", "--title="
- + SkinUtil.makeEmulatorName(config), "-x", sdbPath,
- "-s", "emulator-" + portSdb, "shell");
+ String sdbCmd = sdbPath + " -s" + " emulator-" + portSdb + " shell";
+ procSdb.command("/usr/bin/gnome-terminal", "--disable-factory",
+ "--title=" + SkinUtil.makeEmulatorName(config), "-x",
+ "bash", "-c", sdbCmd + "; kill -9 `ps -p $$ -o ppid=`");
}
logger.info(procSdb.command().toString());