This fixes the install script not to rewrite the contents of
/var/spool/pbs/server_name on every install.  Handy if you make and install
from a machine which will not be your PBS server, or if the server_name
includes a port number or something more complex than just the short hostname
of the installing machine.


---

 pbs-2.3.12-pw/buildutils/pbs_mkdirs.in |    9 ++++++---
 1 files changed, 6 insertions(+), 3 deletions(-)

diff -puN buildutils/pbs_mkdirs.in~no-munge-server-name buildutils/pbs_mkdirs.in
--- pbs-2.3.12/buildutils/pbs_mkdirs.in~no-munge-server-name	2004-04-17 10:15:37.000000000 -0400
+++ pbs-2.3.12-pw/buildutils/pbs_mkdirs.in	2004-04-17 10:15:37.000000000 -0400
@@ -310,9 +310,12 @@ mk_default_file()
 
 	install_dir `dirname $PBS_DEFAULT_FILE`
 
-	rm -f $PBS_DEFAULT_FILE > /dev/null 2>&1
-	echo $PBS_DEFAULT_SERVER > $PBS_DEFAULT_FILE && \
-	    chmod 644 $PBS_DEFAULT_FILE
+	# I think I know better than pbs.  --pw
+	if [ ! -e $PBS_DEFAULT_FILE ]; then
+	    rm -f $PBS_DEFAULT_FILE > /dev/null 2>&1
+	    echo $PBS_DEFAULT_SERVER > $PBS_DEFAULT_FILE && \
+		chmod 644 $PBS_DEFAULT_FILE
+	fi
 
 	chk_tree_wrap -n $PBS_DEFAULT_FILE
 }

_