mirror of
https://github.com/urbit/shrub.git
synced 2024-12-23 19:05:48 +03:00
e6e0f47435
If a remote commit is downloaded that simultaneously removes an agent from desk.bill but also removes the associated source files, then the commit will fail as gall will not have received the card to kill the agent yet. Instead, we read our foreign copy of the bill in +take-download, and kill any necessary agents there, preventing a reload of the deleted agent from occurring. |
||
|---|---|---|
| .. | ||
| bill.hoon | ||
| hood.hoon | ||
| sole.hoon | ||
| spider.hoon | ||
| verb.hoon | ||