diff options
Diffstat (limited to 'planetlab/notes.txt')
| -rw-r--r-- | planetlab/notes.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/planetlab/notes.txt b/planetlab/notes.txt index f2b8cde..918c437 100644 --- a/planetlab/notes.txt +++ b/planetlab/notes.txt @@ -1,4 +1,6 @@ Redirecting the output is important to allow the ssh process to exit: pssh/bin/pssh -h ple.txt -O StrictHostKeyChecking=no -i -l irisaple_pacemaker2 "cd client; nohup ./client > foo.out 2> foo.err < /dev/null &" +pssh/bin/pslurp -h ple.txt -O StrictHostKeyChecking=no -l irisaple_pacemaker2 -r -L data /home/irisaple_pacemaker2/client/log ./ + pgrep instead of pidof |