Changeset 83
- Timestamp:
- 03.12.2006 00:43:22 (2 years ago)
- Files:
-
- trunk/devel/FuzzyOcr/Misc.pm (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
trunk/devel/FuzzyOcr/Misc.pm
r76 r83 71 71 exit(-2); 72 72 } else { 73 set_pid($pid); wait(); $retcode = $? >>8;73 set_pid($pid); wait(); $retcode = $?; 74 74 infolog("Elapsed: ". 75 75 sprintf ("%.6f",tv_interval($begin, [gettimeofday]))
