mirror of
https://github.com/keymanapp/keyman.git
synced 2026-11-06 07:57:43 +00:00
8 lines
163 B
Bash
Executable file
8 lines
163 B
Bash
Executable file
#!/usr/bin/env bash
|
|
set -eu
|
|
PID_FILE=$1
|
|
|
|
echo "Shutting down processes..."
|
|
bash "$PID_FILE" > /dev/null 2>&1
|
|
rm "$PID_FILE"
|
|
echo "Finished shutdown of processes."
|