fd1456ac36e0a1ebfb800c9593f1540858ca7bea,src/python/pants/backend/core/tasks/reporting_server.py,KillServer,execute,#KillServer#,114

Before Change

  def execute(self):
    info = ReportingServerManager.get_current_server_info()
    if not info:
      print("No server found.", file=sys.stderr)
    // There should only be one pidfile, but in case there are many, we kill them all here.
    for pidfile, pid, port in info:
      with open(pidfile, "r") as infile:
        pidstr = infile.read()
      try:

After Change

  def execute(self):
    server = ReportingServerManager(self.context, self.get_options())

    if not server.is_alive():
      logger.info("No server found.")
      return

    pid = server.pid

    try:
      logger.info("Killing server with {pid} at http://localhost:{port}"

Instances