Don't run graph algorithms if no edge is deleted in terminate_connection().
[tinc] / doc / help2man
2000-03-26 Ivo TimmermansInitial revision