mirror of
https://github.com/urbit/shrub.git
synced 2024-12-22 02:11:38 +03:00
14 lines
396 B
Plaintext
14 lines
396 B
Plaintext
/- spider
|
|
/+ ph-io, threadio
|
|
=, thread=thread:spider
|
|
^- imp:spider
|
|
|= =bowl:mall
|
|
=/ m (thread ,~)
|
|
;< ~ bind:m start-simple:ph-io
|
|
;< ~ bind:m (raw-ship:ph-io ~bud ~)
|
|
;< file=@t bind:m (touch-file:ph-io ~bud %home)
|
|
;< ~ bind:m (check-file-touched:ph-io ~bud %home file)
|
|
;< ~ bind:m (sleep:threadio ~d1)
|
|
;< ~ bind:m end-simple:ph-io
|
|
(pure:m ~)
|