Merge branch 'master' into Playerbot

2024-12-05 00:08:25 +08:00
parent ba56317506 47580c0fab
commit 889b509313
121 changed files with 4818 additions and 1413 deletions
@@ -1,4 +1,4 @@
-set logging on
+set logging enabled on
 set debug timestamp
 run
 bt
@@ -9,7 +9,7 @@ CRASHES_PATH="$7"

 if [ $GDB_ENABLED -eq 1 ]; then
    echo "set logging file "$CRASHES_PATH"/gdb-$(date +%Y-%m-%d-%H-%M-%S).txt" > "$GDB_FILE"
-    echo "set logging on" >> "$GDB_FILE"
+    echo "set logging enabled on" >> "$GDB_FILE"
    echo "set debug timestamp" >> "$GDB_FILE"
    echo "run -c $3" >> "$GDB_FILE"
    echo "bt" >> "$GDB_FILE"