时间元组转字符串

2025-02-22 12:49:30 +08:00
parent e090ccbc68
commit 321ed7438d
15 changed files with 54300 additions and 111 deletions
--- a/boards/default_src/micropython/generators/sensor_onboard.js
+++ b/boards/default_src/micropython/generators/sensor_onboard.js
@@ -587,7 +587,7 @@ export const onboard_RTC_get_time_str = function(_,generator){
 export const onboard_RTC_get_timetuple_to_str = function(_,generator){
    generator.definitions_['import_rtctime'] = 'import rtctime';
    var ct = generator.valueToCode(this, 'CONTENT', generator.ORDER_ATOMIC);
-    var code = 'rtctime.strtime(('+ ct +'))';
+    var code = 'rtctime.strtime('+ ct +')';
    return [code, generator.ORDER_ATOMIC];
 }