-
ROUBY Pierre-Antoine authored
* guix-jupyter-kernel.scm (socket-shell): Set options ZMQ_RCVTIMEO to 50. (socket-control): Set options ZMQ_RCVTIMEO to 50. * guix-jupyter-container.scm (shutdown): Modify 'quit' to 'exit'.
cedc63bf
* guix-jupyter-kernel.scm (socket-shell): Set options ZMQ_RCVTIMEO to 50. (socket-control): Set options ZMQ_RCVTIMEO to 50. * guix-jupyter-container.scm (shutdown): Modify 'quit' to 'exit'.