85 framegen.close(); |
85 framegen.close(); |
86 } catch (IOException exc) { |
86 } catch (IOException exc) { |
87 configuration.standardmessage.error( |
87 configuration.standardmessage.error( |
88 "doclet.exception_encountered", |
88 "doclet.exception_encountered", |
89 exc.toString(), filename); |
89 exc.toString(), filename); |
90 throw new DocletAbortException(); |
90 throw new DocletAbortException(exc); |
91 } |
91 } |
92 } |
92 } |
93 |
93 |
94 /** |
94 /** |
95 * Generate the constants in the "index.html" file. Print the frame details |
95 * Generate the constants in the "index.html" file. Print the frame details |