Prechádzať zdrojové kódy

grass.py: cache exception when closing GUI fails

git-svn-id: https://svn.osgeo.org/grass/grass/trunk@67501 15284696-431f-4ddb-bdfa-cd5b030d7da7
Martin Landa 9 rokov pred
rodič
commit
90af508ea6
1 zmenil súbory, kde vykonal 4 pridanie a 1 odobranie
  1. 4 1
      lib/init/grass.py

+ 4 - 1
lib/init/grass.py

@@ -1361,7 +1361,10 @@ def close_gui():
     import signal
     import signal
     for pid in env['GUI_PID'].split(','):
     for pid in env['GUI_PID'].split(','):
         debug("Exiting GUI with pid={}".format(pid))
         debug("Exiting GUI with pid={}".format(pid))
-        os.kill(int(pid), signal.SIGTERM)
+        try:
+            os.kill(int(pid), signal.SIGTERM)
+        except OSError as e:
+            message(_("Unable to close GUI. {}".format(e)))
         
         
 def clear_screen():
 def clear_screen():
     """Clear terminal"""
     """Clear terminal"""