-
Thomas Haller authored
This function is only used once, and it actually is more confusing instead of directly seeing in disconnect() what happens.
21b50c59
This function is only used once, and it actually is more confusing instead of directly seeing in disconnect() what happens.