code: def do_session(self, args):
          
          filename = 'Not specified' if self.__session.filename is None \
              else self.__session.filename
  
          print('{0: <30}: {1}'.format('Filename', filename))
docs: Print current session information