X-Git-Url: http://git.salome-platform.org/gitweb/?a=blobdiff_plain;f=src%2FsalomeTools.py;h=a49524b24c465199efc051015dc06bed564dd2f7;hb=25ac7e4b6db3269864eabdce12d2ccec1a9378f3;hp=9c5da619dc8f31e2c089220d5097cd756592c7b1;hpb=5c719b8f523e6aa06a7ad07f8e03439e626b6e26;p=tools%2Fsat.git

diff --git a/src/salomeTools.py b/src/salomeTools.py
index 9c5da61..a49524b 100755
--- a/src/salomeTools.py
+++ b/src/salomeTools.py
@@ -480,8 +480,18 @@ class Sat(object):
                     if res is None:
                         res = 0
                         
+                except src.SatException as e:
+                    # for sat exception do not display the stack, unless debug mode is set
+                    logger_command.write("\n***** ", 1)
+                    logger_command.write(src.printcolors.printcError(
+                            "salomeTools ERROR: sat %s" % __nameCmd__), 1)
+                    logger_command.write(" *****\n", 1)
+                    print(e.message)
+                    if self.options.debug_mode:
+                        logger_command.write("\n" + DBG.format_exception("") + "\n", 1)
+
                 except Exception as e:
-                    # Get error
+                    # here we print the stack in addition
                     logger_command.write("\n***** ", 1)
                     logger_command.write(src.printcolors.printcError(
                             "salomeTools ERROR: sat %s" % __nameCmd__), 1)