Change current time from uint64_t to double in Date Port API

JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu
2016-04-21 14:51:31 +02:00
parent 80bfb61b13
commit 68f3465eb5
3 changed files with 4 additions and 5 deletions
@@ -18,7 +18,6 @@
 #define JERRY_PORT_H

 #include <stdbool.h>
-#include <stdint.h>
 #include <stdio.h>

 #ifdef __cplusplus
@@ -99,7 +98,7 @@ bool jerry_port_get_time_zone (jerry_time_zone_t *tz_p);
 *
 * @return milliseconds since Unix epoch
 */
-uint64_t jerry_port_get_current_time (void);
+double jerry_port_get_current_time (void);

 /**
 * @}