diff options
Diffstat (limited to 'dev-db/xindice/files/xindice-1.0.patch')
| -rw-r--r-- | dev-db/xindice/files/xindice-1.0.patch | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/dev-db/xindice/files/xindice-1.0.patch b/dev-db/xindice/files/xindice-1.0.patch deleted file mode 100644 index aaae16545888..000000000000 --- a/dev-db/xindice/files/xindice-1.0.patch +++ /dev/null @@ -1,28 +0,0 @@ ---- start 2003-04-07 15:44:25.000000000 +0200 -+++ start.new 2003-04-07 15:53:39.000000000 +0200 -@@ -11,8 +11,8 @@ - echo "-----------" - echo "XINDICE_HOME = " $XINDICE_HOME - --if test -f $XINDICE_HOME/config/xindice.pid; then -- echo "A Xindice instance is already running with PID" `cat $XINDICE_HOME/config/xindice.pid` -+if test -f /var/run/xindice/xindice.pid; then -+ echo "A Xindice instance is already running with PID" `cat /var/run/xindice/xindice.pid` - exit - fi - -@@ -42,7 +42,7 @@ - - cd $XINDICE_HOME - --echo $$ > $XINDICE_HOME/config/xindice.pid -+echo $$ > /var/run/xindice/xindice.pid - - RESTART=1 - -@@ -73,4 +73,4 @@ - done - - trap 1 2 15 --rm $XINDICE_HOME/config/xindice.pid -+rm /var/run/xindice/xindice.pid |