diff options
Diffstat (limited to 'hosts/jenkins/etc')
| -rwxr-xr-x | hosts/jenkins/etc/init.d/jenkins | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/hosts/jenkins/etc/init.d/jenkins b/hosts/jenkins/etc/init.d/jenkins index b2c57bf8..ccb33d5d 100755 --- a/hosts/jenkins/etc/init.d/jenkins +++ b/hosts/jenkins/etc/init.d/jenkins @@ -92,9 +92,6 @@ check_tcp_port() { # do_start() { - # Clean up the Reproducible Builds database from running builds - sqlite3 /var/lib/jenkins/reproducible.db "UPDATE schedule SET date_build_started = '' WHERE date_build_started != '';" || true - # the default location is /var/run/jenkins/jenkins.pid but the parent directory needs to be created mkdir `dirname $PIDFILE` > /dev/null 2>&1 || true chown $JENKINS_USER `dirname $PIDFILE` |