Websockify dirty quit

In rare circumstances it can happen that websockify does not get killed properly. It instead throws an KeyboardInterupt exception. We need more info about this issue.