check file handle, so it does not crash if the file could not be opened
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 30 Jun 2005 09:57:43 +0000 (09:57 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 30 Jun 2005 09:57:43 +0000 (09:57 +0000)
commitaaaf38b6fdd4bff6810eae491bd4186f32ea14d0
treea9ab1cb8c465b815aa2912239ac614f1db9bd1dc
parent261c01e33dfe9c66fcab220fc00852bc2da38a3c
check file handle, so it does not crash if the file could not be opened

[r6153]
ir/stat/stat_dmp.c