Appending milliseconds to filenames

Author: ta0cu

apps/receiver.py

@@ -53,7 +53,8 @@ def set_center_freq(self, center_freq, rf_center_freq):
             file_name = "/dev/null"
         else:
             # Otherwise use frequency and time stamp for file name
-            tstamp = "_" + str(int(time.time()))
+            # tstamp = "_" + str(int(time.time()))
+            tstamp = "_" + str.replace(str("%.3f" % time.time()),".","")
             file_freq = (rf_center_freq + self.center_freq)/1E6
             file_freq = np.round(file_freq, 3)
             file_name = 'wav/' + '{:.3f}'.format(file_freq) + tstamp + ".wav"