docs: function cleanup () {
      if (!server) return
  
      debug('CLEANUP')
      if (server) {
        try {
          server.close()
        } catch (err) {}
        server = null
      }
  
      // if (mapping) {
      //   clearInterval(mappingIntervalId)
      //   ports.unmapPort(mapping['public'])
      //   mapping = null
      // }
  
      setTimeout(process.exit.bind(process), 1000)
    }