*/
#ifndef lint
-static char rcsid[] = "$Id: magic.c,v 1.6 1996/04/04 03:58:41 paulus Exp $";
+static const char rcsid[] = "$Id: magic.c,v 1.8 1999/08/12 04:25:22 paulus Exp $";
#endif
#include <stdio.h>
struct timeval t;
gettimeofday(&t, NULL);
- seed = gethostid() ^ t.tv_sec ^ t.tv_usec ^ getpid();
+ seed = get_host_seed() ^ t.tv_sec ^ t.tv_usec ^ getpid();
srand48(seed);
}