Index: trunk/BNC/src/PPP/pppEphPool.cpp
===================================================================
--- trunk/BNC/src/PPP/pppEphPool.cpp	(revision 8397)
+++ trunk/BNC/src/PPP/pppEphPool.cpp	(revision 8401)
@@ -82,4 +82,8 @@
 /////////////////////////////////////////////////////////////////////////////
 void t_pppEphPool::t_satEphPool::putOrbCorrection(t_orbCorr* corr) {
+  if (_ephs.empty()) {
+    return;
+  }
+
   for (unsigned ii = 0; ii < _ephs.size(); ii++) {
     t_eph* eph = _ephs[ii];
@@ -94,4 +98,8 @@
 /////////////////////////////////////////////////////////////////////////////
 void t_pppEphPool::t_satEphPool::putClkCorrection(t_clkCorr* corr) {
+  if (_ephs.empty()) {
+    return;
+  }
+
   for (unsigned ii = 0; ii < _ephs.size(); ii++) {
     t_eph* eph = _ephs[ii];
@@ -107,4 +115,8 @@
 t_irc t_pppEphPool::t_satEphPool::getCrd(const bncTime& tt, ColumnVector& xc,
                                            ColumnVector& vv) const {
+  if (_ephs.empty()) {
+    return failure;
+  }
+
   for (unsigned ii = 0; ii < _ephs.size(); ii++) {
     t_eph* eph = _ephs[ii];
@@ -126,5 +138,5 @@
 /////////////////////////////////////////////////////////////////////////////
 int t_pppEphPool::t_satEphPool::getChannel() const {
-  if (_ephs.size() > 0) {
+  if (!_ephs.empty()) {
     return _ephs[0]->slotNum();
   }
Index: trunk/BNC/src/PPP/pppEphPool.h
===================================================================
--- trunk/BNC/src/PPP/pppEphPool.h	(revision 8397)
+++ trunk/BNC/src/PPP/pppEphPool.h	(revision 8401)
@@ -14,5 +14,5 @@
     _maxQueueSize = maxQueueSize;
   }
-  ~t_pppEphPool() {}; 
+  ~t_pppEphPool() {};
 
   void putEphemeris(t_eph* eph);
@@ -20,5 +20,5 @@
   void putClkCorrection(t_clkCorr* corr);
 
-  t_irc getCrd(const t_prn& prn, const bncTime& tt, 
+  t_irc getCrd(const t_prn& prn, const bncTime& tt,
                     ColumnVector& xc, ColumnVector& vv) const;
 
@@ -35,4 +35,5 @@
     t_satEphPool() {};
     ~t_satEphPool() {
+      if (_ephs.empty()) return;
       for (unsigned ii = 0; ii < _ephs.size(); ii++) {
         delete _ephs[ii];
@@ -42,5 +43,5 @@
     void putOrbCorrection(t_orbCorr* corr);
     void putClkCorrection(t_clkCorr* corr);
-    t_irc getCrd(const bncTime& tt, 
+    t_irc getCrd(const bncTime& tt,
                       ColumnVector& xc, ColumnVector& vv) const;
     int getChannel() const;