prompt
authorpines <pines@dcc99617-32d9-48b4-a31d-7c20da2025e4>
Thu, 6 Jul 2006 19:34:12 +0000 (19:34 +0000)
committerpines <pines@dcc99617-32d9-48b4-a31d-7c20da2025e4>
Thu, 6 Jul 2006 19:34:12 +0000 (19:34 +0000)
git-svn-id: svn://svn.open-ils.org/ILS/trunk@4916 dcc99617-32d9-48b4-a31d-7c20da2025e4

Open-ILS/xul/staff_client/chrome/content/main/menu.js

index 3cea8f3..0d710d3 100644 (file)
@@ -513,16 +513,16 @@ main.menu.prototype = {
                        'cmd_shutdown' : [
                                ['oncommand'],
                                function() {
-                                       var windowManager = Components.classes["@mozilla.org/appshell/window-mediator;1"].getService();
-                                       var windowManagerInterface = windowManager.QueryInterface(Components.interfaces.nsIWindowMediator);
-                                       var enumerator = windowManagerInterface.getEnumerator(null);
-
-                                       var w; // close all other windows
-                                       while ( w = enumerator.getNext() ) {
-                                               if (w != window) w.close();
-                                       
+                                       if (window.confirm('Exit Evergreen completely?')) {
+                                               var windowManager = Components.classes["@mozilla.org/appshell/window-mediator;1"].getService();
+                                               var windowManagerInterface = windowManager.QueryInterface(Components.interfaces.nsIWindowMediator);
+                                               var enumerator = windowManagerInterface.getEnumerator(null);
+                                               var w; // close all other windows
+                                               while ( w = enumerator.getNext() ) {
+                                                       if (w != window) w.close();
+                                               }
+                                               window.close();
                                        }
-                                       window.close();
                                }
                        ],
                };