Lines Matching defs:panicHandler
209 private PanicHandler panicHandler = null;
2215 @param panicHandler
2218 public void setPanicHandler(final PanicHandler panicHandler) {
2219 this.panicHandler = panicHandler;
2231 return panicHandler;
4121 if (panicHandler != oldConfig.panicHandler)
4122 dbenv.set_paniccall(panicHandler);
4306 panicHandler = dbenv.get_paniccall();