#!/bin/bash
set -e
USER_DIR=$(cd $(dirname $0); cd ..; pwd)
cat $(dirname $0)/.user.pwd | sudo -S ls /proc/$1 > /dev/null
cat $(dirname $0)/.user.pwd | sudo -S $(dirname $0)/detect_deadlock $1