docs: def get_log(db, job_id):
      """
      Extract the logs as a big string
  
      :param db: a :class:`openquake.server.dbapi.Db` instance
      :param job_id: a job ID
      """
      logs = db('SELECT * FROM log WHERE job_id=?x ORDER BY id', job_id)
      out = []
      for log in logs:
          time = str(log.timestamp)[:-4]  # strip decimals
          out.append('[%s #%d %s] %s' % (time, job_id, log.level, log.message))
      return out