1 | private void resetPage(String source) {↵ | | 1 | private void resetPage(String source) {↵
|
2 | if (!currentPage.equals(source)) {↵ | | 2 | if (!currentPage.equals(source)) {↵
|
3 | try {↵ | | 3 | try {↵
|
4 | helpDoc.setPage(source);↵ | | 4 | helpDoc.setPage(source);↵
|
5 | currentPage = source;↵ | | 5 | currentPage = source;↵
|
6 | } catch (IOException err) {↵ | | 6 | } catch (IOException err) {↵
|
7 | log.error(err.toString());↵ | | 7 | log.error(err.toString());↵
|
8 | JMeterUtils.reportErrorToUser("Problem loading a help page - see log for details");↵ | | 8 | JMeterUtils.reportErrorToUser("Problem loading a help page - see log for details");↵
|
9 | currentPage = ""; // $NON-NLS-1$↵ | | 9 | currentPage = "";↵
|
10 | | | 10 |
|