Don't run graph algorithms if no edge is deleted in terminate_connection().
[tinc] / src / freebsd /
drwxr-xr-x   ..
-rw-r--r-- 3648 device.c