diff options
| author | Andrés Cuervo <andrescuervor@gmail.com> | 2023-05-11 21:47:48 +0000 |
|---|---|---|
| committer | Andrés Cuervo <andrescuervor@gmail.com> | 2023-05-11 21:47:48 +0000 |
| commit | 09ccccf4496798f54cb49110c3a06256cc7fea00 (patch) | |
| tree | e370cbf56690ed2f09c2f0db3a67794d2e437374 /virtual-programs/process.folk | |
| parent | Make circles proper circles, add hex- & octagon (diff) | |
| download | folk-09ccccf4496798f54cb49110c3a06256cc7fea00.tar.gz folk-09ccccf4496798f54cb49110c3a06256cc7fea00.zip | |
Remove some nested Whens
Diffstat (limited to 'virtual-programs/process.folk')
| -rw-r--r-- | virtual-programs/process.folk | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/virtual-programs/process.folk b/virtual-programs/process.folk index a0956a13..520d104b 100644 --- a/virtual-programs/process.folk +++ b/virtual-programs/process.folk @@ -1,6 +1,4 @@ Wish $this has filename "process.folk" -When /p/ is running process /process/ { - When process $process has standard output log /log/ { - Wish $p is labelled [join $log "\n"] - } +When /p/ is running process /process/ & process /process/ has standard output log /log/ { + Wish $p is labelled [join $log "\n"] } |