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 /Makefile.dist | |
| 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 'Makefile.dist')
0 files changed, 0 insertions, 0 deletions