Gemini server written in Crystal
| Révision | bc03c8475d5b9c17eb917cc8a4bf8611de5a9083 (tree) |
|---|---|
| l'heure | 2023-01-05 15:37:41 |
| Auteur |  Remilia Scarlet <remilia@post...> |
| Commiter | Remilia Scarlet |
Remove pid file if it exists after a successful stop
| @@ -79,6 +79,7 @@ | ||
| 79 | 79 | echo "Failed" |
| 80 | 80 | echo "Could not stop Aya (stale PID?)" |
| 81 | 81 | else |
| 82 | + rm -f $PID_FILE | |
| 82 | 83 | echo "Stopped" |
| 83 | 84 | fi |
| 84 | 85 | else |
Fork
rc.aya