• Cedric Roux's avatar
    T: minor: close socket · 4d1705e3
    Cedric Roux authored
    Sometimes when the user does ctrl+c to quit, it may not quit
    if nothing comes on the socket. Closing the socket in the
    signal handler fixes this.
    4d1705e3