From f62cb4f4f2aaa152062de2c5629c554f370e5254 Mon Sep 17 00:00:00 2001 From: nathan Date: Fri, 23 Sep 2016 14:23:40 +0200 Subject: [PATCH] Removed SHELL_RESTART_TIMEOUT_MILLIS --- .../systemTray/linux/GnomeShellExtension.java | 13 +------------ 1 file changed, 1 insertion(+), 12 deletions(-) diff --git a/src/dorkbox/systemTray/linux/GnomeShellExtension.java b/src/dorkbox/systemTray/linux/GnomeShellExtension.java index 950f90d..a9bea83 100644 --- a/src/dorkbox/systemTray/linux/GnomeShellExtension.java +++ b/src/dorkbox/systemTray/linux/GnomeShellExtension.java @@ -40,10 +40,6 @@ class GnomeShellExtension { /** Permit the gnome-shell to be restarted when the extension is installed. */ public static boolean ENABLE_SHELL_RESTART = true; - @Property - /** Default timeout to wait for the gnome-shell to completely restart. This is a best-guess estimate. */ - public static long SHELL_RESTART_TIMEOUT_MILLIS = 5000L; - @Property /** Command to restart the gnome-shell. It is recommended to start it in the background (hence '&') */ public static String SHELL_RESTART_COMMAND = "gnome-shell --replace &"; @@ -267,14 +263,7 @@ class GnomeShellExtension { restartShell.addArgument(SHELL_RESTART_COMMAND); restartShell.start(); - // have to give the shell time to restart - try { - Thread.sleep(SHELL_RESTART_TIMEOUT_MILLIS); - } catch (InterruptedException e) { - e.printStackTrace(); - } - - logger.info("Shell restarted."); + // We don't care when the shell restarts, since WHEN IT DOES restart, our extension will show our icon. } } }