<pre style='margin:0'>
Clemens Lang (neverpanic) pushed a commit to branch master
in repository macports-infrastructure.

</pre>
<p><a href="https://github.com/macports/macports-infrastructure/commit/cace5de3c1c719b2f96774d1255379de72dfd6b7">https://github.com/macports/macports-infrastructure/commit/cace5de3c1c719b2f96774d1255379de72dfd6b7</a></p>
<pre style="white-space: pre; background: #F8F8F8">The following commit(s) were added to refs/heads/master by this push:
<span style='display:block; white-space:pre;color:#404040;'>     new cace5de  build_deploy_prbot: Restart service on update
</span>cace5de is described below

<span style='display:block; white-space:pre;color:#808000;'>commit cace5de3c1c719b2f96774d1255379de72dfd6b7
</span>Author: Clemens Lang <neverpanic@gmail.com>
AuthorDate: Sat Jul 22 16:19:02 2017 +0200

<span style='display:block; white-space:pre;color:#404040;'>    build_deploy_prbot: Restart service on update
</span><span style='display:block; white-space:pre;color:#404040;'>    
</span><span style='display:block; white-space:pre;color:#404040;'>    Since we are not running this script with privileges, we cannot use
</span><span style='display:block; white-space:pre;color:#404040;'>    systemctl restart or any other system-level commands. However, as the
</span><span style='display:block; white-space:pre;color:#404040;'>    bot runs under the same user as this script, we can simply kill the
</span><span style='display:block; white-space:pre;color:#404040;'>    daemon and have systemd take care or restarting it.
</span>---
 jobs/build_deploy_prbot.sh | 6 ++++++
 1 file changed, 6 insertions(+)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/jobs/build_deploy_prbot.sh b/jobs/build_deploy_prbot.sh
</span><span style='display:block; white-space:pre;color:#808080;'>index fc6ed8b..80107fc 100755
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/jobs/build_deploy_prbot.sh
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/jobs/build_deploy_prbot.sh
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -69,3 +69,9 @@ mv "$GOPATH/bin/prbot" "$GOPATH/bin/prbot-$HEADREV"
</span> rm -f "$PRBOT_NEXT"
 ln -s "prbot-$HEADREV" "$PRBOT_NEXT"
 mv -f "$PRBOT_NEXT" "$PRBOT_CURRENT"
<span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# Killing currently running service to force systemd to restart it
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+pkill prbot-current || true
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+printf "Updated from %s to %s\n" "$CURRENTREV" "$HEADREV"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+exit 0
</span></pre><pre style='margin:0'>

</pre>