Lines Matching defs:panicHandler
93 private PanicHandler panicHandler = null;
1149 @param panicHandler
1152 public void setPanicHandler(final PanicHandler panicHandler) {
1153 this.panicHandler = panicHandler;
1165 return panicHandler;
2209 if (panicHandler != oldConfig.panicHandler)
2210 db.set_paniccall(panicHandler);
2293 panicHandler = db.get_paniccall();