Changé le PID file pour Sphinx
authorEric Mc Sween <eric.mcsween@gmail.com>
Tue, 23 Nov 2010 15:24:51 +0000 (10:24 -0500)
committerEric Mc Sween <eric.mcsween@gmail.com>
Tue, 23 Nov 2010 15:24:51 +0000 (10:24 -0500)
auf_savoirs_en_partage/scripts/sphinx.conf.py.in

index 51d6f29..c4b99f7 100644 (file)
@@ -230,7 +230,7 @@ indexer
 searchd
 {
     listen = 127.0.0.1:9312
-    pid_file = %%(pid_file)s
+    pid_file = /var/run/sphinx/sphinx-savoirsenpartage.pid
     log = %%(log)s
 }
-''' %% dict(pid_file=os.path.join(DATA_DIR, 'sphinx.pid'), log=os.path.join(DATA_DIR, 'searchd.log'))
+''' %% dict(log=os.path.join(DATA_DIR, 'searchd.log'))