gnue/common/src GBaseApp.py

[Jason Cater]

CVSROOT:        /cvsroot/gnue
Module name:    gnue
Changes by:     Jason Cater <address@hidden>    02/03/19 18:27:00

Modified files:
        common/src     : GBaseApp.py 

Log message:
        Displays underlying python version information as debugging information 
(-d1)

CVSWeb URLs:
http://savannah.gnu.org/cgi-bin/viewcvs/gnue/gnue/common/src/GBaseApp.py.diff?tr1=1.6&tr2=1.7&r1=text&r2=text

Patches:
Index: gnue/common/src/GBaseApp.py
diff -c gnue/common/src/GBaseApp.py:1.6 gnue/common/src/GBaseApp.py:1.7
*** gnue/common/src/GBaseApp.py:1.6     Sun Nov 11 16:11:28 2001
--- gnue/common/src/GBaseApp.py Tue Mar 19 18:27:00 2002
***************
*** 100,108 ****
      shortoptions = ""
      longoptions = []
      lookup = {}
!     for optionset in [self._base_options, self.COMMAND_OPTIONS]: 
!       for option in optionset:  
!         self.OPTIONS[option[0]] = option[4] 
          if option[1] != None: 
            shortoptions = shortoptions + option[1]
            lookup["-" + option[1]] = option[0]
--- 100,108 ----
      shortoptions = ""
      longoptions = []
      lookup = {}
!     for optionset in [self._base_options, self.COMMAND_OPTIONS]:
!       for option in optionset:
!         self.OPTIONS[option[0]] = option[4]
          if option[1] != None: 
            shortoptions = shortoptions + option[1]
            lookup["-" + option[1]] = option[0]
***************
*** 143,148 ****
--- 143,149 ----
      except ValueError:
        self.handleStartupError('The debug_level option ("-d") expects a 
numerical value.')
  
+     GDebug.printMesg(1,"Python %s" % sys.version)
      GDebug.printMesg(1,"Run Options: %s" % opt)
      GDebug.printMesg(1,"Run Arguments: %s" % self.ARGUMENTS)
  
***************
*** 222,228 ****
  
      dispOptions = ""
  
!     for optionKey in sorted: 
  
        margin = maxLength + 4
        width = 78 - margin
--- 223,229 ----
  
      dispOptions = ""
  
!     for optionKey in sorted:
  
        margin = maxLength + 4
        width = 78 - margin