Spaces:
Running
Running
| cd "$(dirname "$0")" | |
| if [ ! -f deepshell.pid ]; then | |
| echo "DeepShell not running" | |
| exit 1 | |
| fi | |
| PID=$(cat deepshell.pid) | |
| fuser -k 8001/tcp 2>/dev/null | |
| rm -f deepshell.pid | |
| echo "DeepShell stopped (PID $PID)" | |
| # Stop LibreTranslate | |
| if [ -f libretranslate.pid ]; then | |
| LT_PID=$(cat libretranslate.pid) | |
| kill $LT_PID 2>/dev/null | |
| rm -f libretranslate.pid | |
| echo "LibreTranslate stopped (PID $LT_PID)" | |
| else | |
| pkill -f libretranslate 2>/dev/null | |
| echo "LibreTranslate stopped" | |
| fi | |