Changeset 2354 in ntrip for trunk/BNS/RTCM/rtcm3torinex.c

Timestamp:

Mar 5, 2010, 12:54:05 PM (14 years ago)

Author:

weber

Message:

* empty log message *

File:

• trunk/BNS/RTCM/rtcm3torinex.c (modified) (9 diffs)

trunk/BNS/RTCM/rtcm3torinex.c

@@ -1 +1 @@
 /*
   Converter for RTCM3 data to RINEX.
-  $Id: rtcm3torinex.c,v 1.4 2010/01/16 10:22:15 mervart Exp $
+  $Id: rtcm3torinex.c,v 1.39 2010/03/05 11:11:06 stoecker Exp $
   Copyright (C) 2005-2008 by Dirk Stöcker <stoecker@alberding.eu>
 
@@ -49 +49 @@
 
 #ifndef isinf
-#  define isinf(x) 0
+#define isinf(x) 0
 #endif
 
@@ -55 +55 @@
 
 /* CVS revision and version */
-static char revisionstr[] = "$Revision: 1.4 $";
+static char revisionstr[] = "$Revision: 1.39 $";
 
 #ifndef COMPILEDATE
@@ -251 +251 @@
 }
 
-// Convert Moscow time into UTC (fixnumleap == 1) or GPS (fixnumleap == 0)
+/* Convert Moscow time into UTC (fixnumleap == 1) or GPS (fixnumleap == 0) */
 void updatetime(int *week, int *secOfWeek, int mSecOfWeek, int fixnumleap)
 {
@@ -490 +490 @@
         SKIPBITS(4) /* smind, smint */
 
-        while(numsats--)
+        while(numsats-- && gnss->numsats < GNSS_MAXSATS)
         {
           int sv, code, l1range, c,l,s,ce,le,se,amb=0;
@@ -640 +640 @@
         GETBITS(i,27) /* tk */
 
-        updatetime(&handle->GPSWeek, &handle->GPSTOW, i, 0); // Moscow -> GPS
+        updatetime(&handle->GPSWeek, &handle->GPSTOW, i, 0); /* Moscow -> GPS */
         i = handle->GPSTOW*1000;
         if(gnss->week && (gnss->timeofweek != i || gnss->week
@@ -658 +658 @@
         SKIPBITS(4) /* smind, smint */
 
-        while(numsats--)
+        while(numsats-- && gnss->numsats < GNSS_MAXSATS)
         {
           int sv, code, l1range, c,l,s,ce,le,se,amb=0;
@@ -1397 +1397 @@
             struct converttimeinfo cti;
 
-            updatetime(&w, &tow, e->tb*1000, 1);  // Moscow - > UTC
+            updatetime(&w, &tow, e->tb*1000, 1);  /* Moscow - > UTC */
             converttime(&cti, w, tow);
 
@@ -1684 +1684 @@
 
 #ifndef NO_RTCM3_MAIN
-static char datestr[]     = "$Date: 2010/01/16 10:22:15 $";
+static char datestr[]     = "$Date: 2010/03/05 11:11:06 $";
 
 /* The string, which is send as agent in HTTP request */