/** | /** | ||||
* ErrorEvents are printed to default error stream and not in GUI. | * ErrorEvents are printed to default error stream and not in GUI. | ||||
*/ | */ | ||||
@Override | |||||
public void terminalError( | public void terminalError( | ||||
com.itmill.toolkit.terminal.Terminal.ErrorEvent event) { | com.itmill.toolkit.terminal.Terminal.ErrorEvent event) { | ||||
Throwable e = event.getThrowable(); | Throwable e = event.getThrowable(); |