Index: /branches/BNC_2.12/src/PPP/pppEphPool.cpp
===================================================================
--- /branches/BNC_2.12/src/PPP/pppEphPool.cpp	(revision 8442)
+++ /branches/BNC_2.12/src/PPP/pppEphPool.cpp	(revision 8443)
@@ -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();
   }