Skip to content
Snippets Groups Projects
  • Mathieu Othacehe's avatar
    38701970
    remote: Discover server log-port and publish-port without Avahi. · 38701970
    Mathieu Othacehe authored
    * src/cuirass/remote.scm (zmq-server-info, zmq-worker-request-info-message):
    New procedures.
    * src/cuirass/remote-server.scm (%log-port, %publish-port): New parameters.
    (read-worker-exp): Handle 'worker-request-info message.
    (remote-server): Set the new parameters.
    * src/cuirass/remote-worker.scm (start-worker): Rename "server" argument. Send
    a 'worker-request-info message to discover the server log port and publish
    port.
    (remote-worker): Adapt it.
    38701970
    History
    remote: Discover server log-port and publish-port without Avahi.
    Mathieu Othacehe authored
    * src/cuirass/remote.scm (zmq-server-info, zmq-worker-request-info-message):
    New procedures.
    * src/cuirass/remote-server.scm (%log-port, %publish-port): New parameters.
    (read-worker-exp): Handle 'worker-request-info message.
    (remote-server): Set the new parameters.
    * src/cuirass/remote-worker.scm (start-worker): Rename "server" argument. Send
    a 'worker-request-info message to discover the server log port and publish
    port.
    (remote-worker): Adapt it.
Code owners
Assign users and groups as approvers for specific file changes. Learn more.