Lines Matching defs:panicHandler
87 private PanicHandler panicHandler = null;
1102 @param panicHandler
1105 public void setPanicHandler(final PanicHandler panicHandler) {
1106 this.panicHandler = panicHandler;
1118 return panicHandler;
2076 if (panicHandler != oldConfig.panicHandler)
2077 db.set_paniccall(panicHandler);
2147 panicHandler = db.get_paniccall();