master #1
13
run.bash
Normal file
13
run.bash
Normal file
@ -0,0 +1,13 @@
|
|||||||
|
#!/bin/bash
|
||||||
|
|
||||||
|
# Pull the latest changes from the git repository
|
||||||
|
git pull
|
||||||
|
|
||||||
|
# Check if the PHPDE environment variable is set to "true"
|
||||||
|
if [ "$PHPDE" = "true" ]; then
|
||||||
|
# Start the PHP script with the -d parameter
|
||||||
|
php start.php start -d
|
||||||
|
else
|
||||||
|
# Start the PHP script without the -d parameter
|
||||||
|
php start.php start
|
||||||
|
fi
|
@ -133,3 +133,6 @@
|
|||||||
2024-11-05 00:41:47 pid:30205 Workerman[start.php] reloading
|
2024-11-05 00:41:47 pid:30205 Workerman[start.php] reloading
|
||||||
2024-11-05 00:43:44 pid:30205 Workerman[start.php] stopping ...
|
2024-11-05 00:43:44 pid:30205 Workerman[start.php] stopping ...
|
||||||
2024-11-05 00:43:44 pid:30205 Workerman[start.php] has been stopped
|
2024-11-05 00:43:44 pid:30205 Workerman[start.php] has been stopped
|
||||||
|
2024-11-05 16:54:59 pid:1636 Workerman[start.php] start in DEBUG mode
|
||||||
|
2024-11-05 16:55:00 pid:1636 Workerman[start.php] stopping ...
|
||||||
|
2024-11-05 16:55:00 pid:1636 Workerman[start.php] has been stopped
|
||||||
|
Loading…
Reference in New Issue
Block a user