Imported from 6.824 labs
[invirt/third/libt4.git] / stop.sh
1 #!/usr/bin/env bash
2
3 pkill -u $USER lock_server