-- Leo's gemini proxy

-- Connecting to git.thebackupbox.net:1965...

-- Connected

-- Sending request

-- Meta line: 20 text/gemini

repo: music
action: commit
revision:
path_from:
revision_from: 27337a76f548c4e4c7d230a253b656528edf96fd:
path_to:
revision_to:

git.thebackupbox.net

music

git://git.thebackupbox.net/music

commit 27337a76f548c4e4c7d230a253b656528edf96fd
Author: epoch <epoch@hacking.allowed.org>
Date:   Thu Jul 30 08:05:41 2020 -0500

    put a check to make sure the pid file actually exists before attempting to use it

diff --git a/music-prev b/music-prev

index 0085de629a5b21e409947a2ce3077ed3e8f0c03b..

index ..d944b085421276eec8cfdb619629871d38c11741 100755

--- a/music-prev
+++ b/music-prev
@@ -1,3 +1,6 @@
 #!/bin/sh
-logger -p info -n logserver "music prev'd"
-exec kill -USR1 "$(cat ${PREFIX}/var/run/music-init.pid)"
+if [ -f "${PREFIX}/run/music/init.pid" ];then
+  logger -p info -n logserver "music prev'd"
+  exec kill -USR1 "$(cat "${PREFIX}/run/music/init.pid")"
+fi
+logger -p info -n logserver "FAILED TO PREV. MISSING PID FILE.""

-----END OF PAGE-----

-- Response ended

-- Page fetched on Sun Jun 2 18:21:37 2024