index 8671c0a4a3db5ae475634e9184b978c58a5c40d1..d11280e1d4d7319ef4e4764e6e04caf3394c3972 100644 (file)
*/
gettimeofday(&tv, NULL);
sysidentifier = ((uint64) tv.tv_sec) << 32;
- sysidentifier |= (uint32) (tv.tv_sec | tv.tv_usec);
+ sysidentifier |= ((uint64) tv.tv_usec) << 12;
+ sysidentifier |= getpid() & 0xFFF;
ControlFile.system_identifier = sysidentifier;