parameters: (self, section)
docstring: Return a list of options for given section, else [].
docstring_summary: Return a list of options for given section, else [].
docstring_tokens: Return a list of options for given section else [] .
function: def GetOptionList(self, section):
          "Return a list of options for given section, else []."
          if self.has_section(section):
              return self.options(section)
          else:  #return a default value
              return []
function_tokens: def GetOptionList ( self , section ) : if self . has_section ( section ) : return self . options ( section ) else : #return a default value return [ ]