From 2efadd4d43a7d62a3bb3ed1cb9225925e1e5feb9 Mon Sep 17 00:00:00 2001 From: Daniel Berteaud Date: Sun, 15 Feb 2015 21:53:06 +0100 Subject: [PATCH] PID File is now configurable --- conf/settings.ini.dist | 2 ++ vroom.pl | 3 ++- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/conf/settings.ini.dist b/conf/settings.ini.dist index 4734d8f..d12299d 100644 --- a/conf/settings.ini.dist +++ b/conf/settings.ini.dist @@ -67,3 +67,5 @@ ; server backend. Can be either morbo (DEV) or hypnotoad (PROD) ; default is hypnotoad ;backend = 'hypnotoad' +; PID file, only used if backend is hypnotoad +;pid_file = '/tmp/vroom.pird' diff --git a/vroom.pl b/vroom.pl index 22609d8..658a56c 100755 --- a/vroom.pl +++ b/vroom.pl @@ -52,6 +52,7 @@ $config->{'etherpad.base_domain'} ||= ''; $config->{'daemon.listen_ip'} ||= '127.0.0.1'; $config->{'daemon.listen_port'} ||= '8090'; $config->{'daemon.backend'} ||= 'hypnotoad'; +$config->{'daemon.pid_file'} ||= '/tmp/vroom.pid'; # Set log level app->log->level($config->{'log.level'}); @@ -1906,7 +1907,7 @@ app->hook(before_dispatch => sub { app->config( hypnotoad => { listen => ['http://' . $config->{'daemon.listen_ip'} . ':' . $config->{'daemon.listen_port'}], - pid_file => '/tmp/vroom.pid', + pid_file => $config->{'daemon.pid_file'}, proxy => 1 } );