[m-rev.] diff: prevent filenames with spaces

[Zoltan Somogyi]

runtime/mercury_wrapper.c:
	Prevent the generation of filenames with spaces in them.

Zoltan.

cvs server: Diffing .
Index: mercury_wrapper.c
===================================================================
RCS file: /home/mercury1/repository/mercury/runtime/mercury_wrapper.c,v
retrieving revision 1.141
diff -u -b -r1.141 mercury_wrapper.c
--- mercury_wrapper.c	10 Jan 2005 05:23:50 -0000	1.141
+++ mercury_wrapper.c	10 Jan 2005 05:27:01 -0000
@@ -2011,7 +2011,7 @@
 
 		fp = NULL;
 		for (i = 1; i < MAX_MEM_USAGE_REPORT_ATTEMPTS; i++) {
-			sprintf(buf, ".mem_usage_report%2d", i);
+			sprintf(buf, ".mem_usage_report%02d", i);
 
 			fd = open(buf, O_WRONLY | O_CREAT | O_EXCL, 0600);
 			if (fd >= 0) {
cvs server: Diffing GETOPT
cvs server: Diffing machdeps
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------