From d852553a750229afb41483e0721b1ea42bb2ece3 Mon Sep 17 00:00:00 2001 From: tg Date: Wed, 22 Dec 1999 12:59:30 +0000 Subject: Rename PID file from xdm-pid to xdm.pid for consistency. --- x11/wdm/files/patch-ab | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) (limited to 'x11/wdm') diff --git a/x11/wdm/files/patch-ab b/x11/wdm/files/patch-ab index 7783b5c..6d853c9 100644 --- a/x11/wdm/files/patch-ab +++ b/x11/wdm/files/patch-ab @@ -1,5 +1,14 @@ ---- src/config/wdm-config.in.orig Thu Sep 16 16:27:58 1999 -+++ src/config/wdm-config.in Sat Oct 30 12:41:26 1999 +--- src/config/wdm-config.in.orig Thu Sep 16 09:27:58 1999 ++++ src/config/wdm-config.in Mon Dec 20 16:29:51 1999 +@@ -3,7 +3,7 @@ + ! wdm configuration file input (sed in Makefile) + ! + DisplayManager.errorLogFile: #logdir#/xdm-errors.log +-DisplayManager.pidFile: #rundir#/xdm-pid ++DisplayManager.pidFile: #rundir#/xdm.pid + DisplayManager.keyFile: #configdir#/xdm-keys + DisplayManager.servers: #configdir#/Xservers + DisplayManager.accessFile: #configdir#/Xaccess @@ -25,11 +25,11 @@ ! display screen background--if not set or set to none, then the ! background is not set by wdm. -- cgit v1.1