search

derekkraan / horde

Horde is a distributed Supervisor and Registry backed by DeltaCrdt
MIT License
1.3k stars 102 forks source link

Change update_child_pid_horde to become a cast #218

Closed arjan closed 3 years ago

arjan commented 3 years ago

Fixes #217

Although the actual change is only 2 LOC, the diff is rather large because I had to move the set_child_pid helper function down below the last handle_cast.