diff options
| author | Artyom V. Poptsov <poptsov.artyom@gmail.com> | 2016-12-18 10:57:31 +0300 |
|---|---|---|
| committer | Artyom V. Poptsov <poptsov.artyom@gmail.com> | 2016-12-18 10:57:31 +0300 |
| commit | 754231412ee4b81b893dfb30ad43bda4eeb748bd (patch) | |
| tree | 0c126091d5c37877e9a6ee0fb4007c5bd59b3c12 /modules/ssh/dist | |
| parent | shell.scm: Add missing (ice-9 receive) module (diff) | |
| download | guile-ssh-754231412ee4b81b893dfb30ad43bda4eeb748bd.tar.gz | |
shell.scm (pkill): New procedure
* modules/ssh/shell.scm (pkill): New procedure
* modules/ssh/dist/node.scm (node-stop-server): Use it.
Diffstat (limited to 'modules/ssh/dist')
| -rw-r--r-- | modules/ssh/dist/node.scm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/modules/ssh/dist/node.scm b/modules/ssh/dist/node.scm index e594904..af7fb71 100644 --- a/modules/ssh/dist/node.scm +++ b/modules/ssh/dist/node.scm @@ -313,9 +313,9 @@ listens on an expected port, return #f otherwise." (define (node-stop-server node) "Stop a RREPL server on a NODE." - (close (open-remote-input-pipe (node-session node) - (format #f "pkill --full 'guile --listen=~a'" - (node-repl-port node)))) + (pkill (node-session node) + (format #f "guile --listen=~a" (node-repl-port node)) + #:full? #t) (while (node-server-running? node) (sleep 1))) |