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