rollback kimina_client

start.sh

@@ -8,41 +8,10 @@ elan --version
 lean --version
 elan toolchain list
 
-echo "LEAN_SERVER_REPL_PATH: $LEAN_SERVER_REPL_PATH"
-ls -la $LEAN_SERVER_REPL_PATH
-echo "LEAN_SERVER_PROJECT_DIR: $LEAN_SERVER_PROJECT_DIR"
-ls -la $LEAN_SERVER_PROJECT_DIR
-
-cd /home/user/repl
-lake build
-
-free -h
-ps aux --sort=-%mem | head -20
-
 cd /home/user/app/kimina-lean-server
+sed -i 's/env=os\.environ/env=dict(os.environ)/g' server/repl.py
 python3 -m server &
 
-sleep 60
-echo "检查运行server后的状态"
-free -h
-ps aux --sort=-%mem | head -20
-ps aux | grep python
-netstat -tlnp | grep 8000
-ps aux | grep server
-
-echo "curl -v http://localhost:8000/"
-curl -v http://localhost:8000/
-echo "curl -v http://localhost:8000/health"
-curl -v http://localhost:8000/health
-echo "curl -v http://localhost:8000/api/check"
-curl -v http://localhost:8000/api/check
-echo "curl -v http://localhost:8000/docs"
-curl -v http://localhost:8000/docs
-echo "curl -v http://localhost:8000/verify"
-curl -v http://localhost:8000/verify
-curl -v http://localhost:8000/openapi.json
-curl -v http://localhost:8000/redoc
-
 cd /home/user/app
 ls -l
 python3 app.py