Index: branches/BNC_2.12/src/PPP/pppEphPool.h
===================================================================
--- branches/BNC_2.12/src/PPP/pppEphPool.h	(revision 8443)
+++ branches/BNC_2.12/src/PPP/pppEphPool.h	(revision 8444)
@@ -35,4 +35,5 @@
     t_satEphPool() {};
     ~t_satEphPool() {
+      if (_ephs.empty()) return;
       for (unsigned ii = 0; ii < _ephs.size(); ii++) {
         delete _ephs[ii];