dprint.c
512dcd98
 /*
  * $Id$
  *
  * debug print 
  *
  */
  
 #include "dprint.h"
404073d3
 #include "globals.h"
512dcd98
  
 #include <stdarg.h>
 #include <stdio.h>
 
 void dprint(char * format, ...)
 {
 	va_list ap;
 
404073d3
 	fprintf(stderr, "%2d(%d) ", process_no, pids?pids[process_no]:0);
512dcd98
 	va_start(ap, format);
 	vfprintf(stderr,format,ap);
 	fflush(stderr);
 	va_end(ap);
 }