diff options
author | Albert Cheng <acheng@hdfgroup.org> | 2005-09-18 01:41:57 (GMT) |
---|---|---|
committer | Albert Cheng <acheng@hdfgroup.org> | 2005-09-18 01:41:57 (GMT) |
commit | 28bb8b469438d5cf29d673ee13bdd11a619e4dbb (patch) | |
tree | f647c45e4a0335ddbf4b6afe0cbeba859bb2b506 /tools/h5repack/Makefile.in | |
parent | f8e70642695ffe44e299b8e68f4df1e743408470 (diff) | |
download | hdf5-28bb8b469438d5cf29d673ee13bdd11a619e4dbb.zip hdf5-28bb8b469438d5cf29d673ee13bdd11a619e4dbb.tar.gz hdf5-28bb8b469438d5cf29d673ee13bdd11a619e4dbb.tar.bz2 |
[svn-r11428] Purpose:
Bug fix.
Description:
In some racing condition, the process ID file might be removed just
the moment before timekeeper cats its content. When that happens,
the $pid is a blank. Timekeeper was not prepared for this.
Solution:
Added code to verify $pid is some number before proceeding.
Platforms tested:
Tested by hand only.
Diffstat (limited to 'tools/h5repack/Makefile.in')
0 files changed, 0 insertions, 0 deletions