Changeset 1075 for trunk/autoquest-htmlmonitor/src/main/java/de/ugoe/cs/autoquest/htmlmonitor/HtmlMonitorServlet.java
- Timestamp:
- 02/15/13 15:03:00 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/autoquest-htmlmonitor/src/main/java/de/ugoe/cs/autoquest/htmlmonitor/HtmlMonitorServlet.java
r1069 r1075 78 78 * the message listener to forward received messages to. 79 79 */ 80 private HtmlGUIElementManager guiElementManager = new HtmlGUIElementManager();80 private transient HtmlGUIElementManager guiElementManager = new HtmlGUIElementManager(); 81 81 82 82 /**
Note: See TracChangeset
for help on using the changeset viewer.