1 puts "TODO ?OCC12345 Linux: An exception was caught"
2 puts "TODO ?OCC12345 Linux: Faulty OCC1138 : here is reading problem when the filename is a directory name."
3 puts "TODO ?OCC12345 Linux: Faulty OCC1138"
4 puts "TODO ?OCC12345 Linux: \\*\\* Exception \\*\\*"
6 puts "================"
8 puts "================"
10 ############################################################
11 # OSD_SIGSEGV is thrown during call LDOMParser.parse method
12 ############################################################
18 if [catch { OCC983 ${imagedir} }] {
19 puts "Faulty ${BugNumber} : here is reading problem when the filename is a directory name."
21 puts "Reading ${BugNumber} OK : here is not reading problem when the filename is a directory name."