urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-20 17:32:11 +03:00
Code Issues Packages Projects Releases Wiki Activity
b8614cc7d8
shrub/pkg/arvo/gen/spider/stop.hoon

4 lines
52 B
Plaintext
Raw Normal View History

spider, ph: convert ph to imps
2019-09-29 07:44:31 +03:00
:- %say
spider: rename thread -> strand, imp -> thread
2019-11-16 14:25:30 +03:00
|= [* [tid=@ta ~] ~]
[%spider-stop tid |]
Reference in New Issue Copy Permalink