fix granian stop

pidfile is missng an `\n`, maybe the read -a var <$pidfile fails due to
this.

whatever ||: mitigates that.

startstop.build.sh

@@ -105,7 +105,8 @@ set -x
 srv_granian_stop() {
   if [[ -s "${DEVSHM}/granian.pid" ]]; then
     local pid
-    read -a pid < "${DEVSHM}/granian.pid"
+    # ||: since maybe due to missing \n we get some kind of pipefail ?
+    read -a pid < "${DEVSHM}/granian.pid" ||:
     kill -- \${pid}
     echo "waiting for process \${pid} to die"
     tail -f --pid=\${pid} /dev/null
@@ -114,15 +115,15 @@ srv_granian_stop() {
   fi
   if [[ -s "\${PGIDFILE}" ]]; then
     local pgid
-    read -a pgid < "\${PGIDFILE}"
+    read -a pgid < "\${PGIDFILE}" ||:
     echo "killing process group \${pgid}"
     kill -- -\${pgid}
     echo "waiting for process group \${pgid} to die"
     pwait --echo --pgroup \${pgid}
   else
     if [[ -s "\${PIDFILE}" ]]; then
       local pid
-      read -a pid < "\${PIDFILE}"
+      read -a pid < "\${PIDFILE}" ||:
       kill -- \${pid}
       echo "waiting for process \${pid} to die"
       tail -f --pid=\${pid} /dev/null