Change to line@filename

This commit is contained in:
Scott Shawcroft 2022-08-09 10:42:20 -07:00
parent 86f4014f83
commit f3ca15265e
No known key found for this signature in database
GPG Key ID: 0DFD512649C052DA

2
main.c
View File

@ -215,7 +215,7 @@ void supervisor_execution_status(void) {
} else if ((_exec_result.return_code & PYEXEC_EXCEPTION) != 0 && } else if ((_exec_result.return_code & PYEXEC_EXCEPTION) != 0 &&
_exec_result.exception_line > 0 && _exec_result.exception_line > 0 &&
exception != NULL) { exception != NULL) {
mp_printf(&mp_plat_print, "@%d %s %q", _exec_result.exception_line, _exec_result.exception_filename, exception->base.type->name); mp_printf(&mp_plat_print, "%d@%s %q", _exec_result.exception_line, _exec_result.exception_filename, exception->base.type->name);
} else { } else {
serial_write_compressed(translate("Done")); serial_write_compressed(translate("Done"));
} }