remote: Start workers only once.
* src/cuirass/remote-worker.scm (%workers-started?): New variable. (remote-worker): Use it to start workers only once.
Loading
Please register or sign in to comment
* src/cuirass/remote-worker.scm (%workers-started?): New variable. (remote-worker): Use it to start workers only once.