##// END OF EJS Templates
jroIO_base: File size is verified
Miguel Valdez -
r780:52e19e09d5b8
parent child
Show More
@@ -136,30 +136,36 def isFileInTimeRange(filename, startDate, endDate, startTime, endTime):
136 136 lastBasicHeaderObj = BasicHeader(LOCALTIME)
137 137
138 138 sts = firstBasicHeaderObj.read(fp)
139
140 if not(sts):
141 print "[Reading] Skipping the file %s because it has not a valid header" %(filename)
142 return None
143
139 144 sts = systemHeaderObj.read(fp)
140 145 sts = radarControllerHeaderObj.read(fp)
141 146 sts = processingHeaderObj.read(fp)
142 147
148 filesize = os.path.getsize(filename)
149
143 150 offset = processingHeaderObj.blockSize + 24 #header size
144 151
152 if filesize <= offset:
153 print "[Reading] %s: This file has not enough data" %filename
154 return None
155
145 156 fp.seek(-offset, 2)
146 157
147 158 sts = lastBasicHeaderObj.read(fp)
148 159
149 160 fp.close()
150 161
151 if not(sts):
152 print "Skipping the file %s because it has not a valid header" %(filename)
153 return None
162 thisDatetime = lastBasicHeaderObj.datatime
163 thisTime_last_block = thisDatetime.time()
154 164
155 165 thisDatetime = firstBasicHeaderObj.datatime
156 166 thisDate = thisDatetime.date()
157 167 thisTime_first_block = thisDatetime.time()
158 168
159 thisDatetime = lastBasicHeaderObj.datatime
160 thisTime_last_block = thisDatetime.time()
161
162
163 169 #General case
164 170 # o>>>>>>>>>>>>>><<<<<<<<<<<<<<o
165 171 #-----------o----------------------------o-----------
General Comments 0
You need to be logged in to leave comments. Login now