doc: fix misc (#105)

This commit is contained in:
wtudio 2024-11-15 17:19:45 +08:00 committed by GitHub
parent bb37faab17
commit a2f8dde4f7
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 2 additions and 2 deletions

View File

@ -28,7 +28,7 @@
- 运行[time_manipulator_get_time_ratio.sh](./install/linux/bin/tools/time_manipulator_get_time_ratio.sh)脚本获取当前执行器时间系数;
- 运行[time_manipulator_pause.sh](./install/linux/bin/tools/time_manipulator_pause.sh)脚本暂停执行器;
- 运行[time_manipulator_set_time_ratio.sh](./install/linux/bin/tools/time_manipulator_set_time_ratio.sh)脚本设置执行器时间系数为 0.5
- 使用 python 运行[time_manipulator.py](./install/linux/bin/tools/time_manipulator.sh)脚本,可以通过一个 gui 界面上的滑动条控制执行器的时间系数;
- 使用 python 运行[time_manipulator.py](./install/linux/bin/tools/time_manipulator.py)脚本,可以通过一个 gui 界面上的滑动条控制执行器的时间系数;
- 键入`ctrl-c`停止进程;

View File

@ -91,7 +91,7 @@ class URLApp:
f"Sent POST request to {url} with json_data {json_data}, response: {response.status} {response.reason}")
conn.close()
except Exception as e:
print(f"Error sending request: {}".format(e))
print("Error sending request: {}".format(e))
if __name__ == "__main__":