merge from master 8B7B

[tools/sat.git] / src / options.py

diff --git a/src/options.py b/src/options.py
old mode 100644 (file)
new mode 100755 (executable)
index 5822d39..b84eae1
--- a/src/options.py
+++ b/src/options.py
@@ -149,8 +149,10 @@ class Options(object):
         """
         msg = ""
         # Do nothing if there are no options
-        if len(self.options) == 0:
-            return _("No available options.")
+
+        #there is -h option, always
+        #if len(self.options) == 0:
+        #    return _("No available options.")
 
         # for all options, gets its values. 
         # "shortname" is an mandatory field of the options, could be '' 
@@ -165,15 +167,6 @@ class Options(object):
             msg += "%s\n" % self.indent(ooh, 10)
         return msg
 
-    def print_help(self):
-        """
-        Method that display all options stored in self.options and there help
-        
-        :return: None
-        """
-        print(self.get_help())
-        return
-
     def indent(self, text, amount, car=" "):
         """indent multi lines message"""
         padding = amount * car