close socket if request_mgr fails
[brisk.git] / bin / check_unlock.sh
1 grep UNLOCK brisk.log | sed 's/\([0-9]*\)\]\] \[\]$/\1/g;s/.*\[//g'  | sort -n