code: def get_pid(options):
      
      namespace = options['settings'] if options['settings'] else options['wsgi']
      return os.path.join('{}', '{}_{}.pid').format(PID_DIR, options['http_port'], namespace.replace('.', '_'))
docs: returns The default location of the pid file for process management