mirror of
https://github.com/engineer-man/piston.git
synced 2025-06-07 10:46:27 +02:00
Improve containers stopping performance by handling SIGTERM
This commit is contained in:
parent
b9adb6f854
commit
fef00b96f1
4 changed files with 32 additions and 6 deletions
|
@ -14,7 +14,7 @@ RUN apt-get update && apt-get install -y unzip autoconf build-essential libssl-d
|
|||
rm -rf /var/lib/apt/lists/* && \
|
||||
update-alternatives --install /usr/bin/python python /usr/bin/python3.7 2
|
||||
|
||||
ADD entrypoint.sh mkindex.sh /
|
||||
ADD entrypoint.sh mkindex.sh serve.py /
|
||||
|
||||
ENTRYPOINT ["bash","/entrypoint.sh"]
|
||||
CMD ["--no-build"]
|
||||
|
|
|
@ -27,7 +27,7 @@ do
|
|||
echo "Done with package $pkg"
|
||||
elif [[ $CI -eq 1 ]]; then
|
||||
echo "Commit SHA: $pkg"
|
||||
|
||||
|
||||
cd ..
|
||||
echo "Changed files:"
|
||||
git diff --name-only $pkg^1 $pkg
|
||||
|
@ -52,8 +52,8 @@ echo "Index created"
|
|||
|
||||
if [[ $SERVER -eq 1 ]]; then
|
||||
echo "Starting index server.."
|
||||
python3 -m http.server
|
||||
exec python3 /serve.py
|
||||
else
|
||||
echo "Skipping starting index server"
|
||||
fi
|
||||
exit 0
|
||||
exit 0
|
||||
|
|
18
repo/serve.py
Normal file
18
repo/serve.py
Normal file
|
@ -0,0 +1,18 @@
|
|||
import signal
|
||||
import sys
|
||||
import http.server
|
||||
import socketserver
|
||||
|
||||
PORT = 8000
|
||||
|
||||
Handler = http.server.SimpleHTTPRequestHandler
|
||||
|
||||
|
||||
def signal_handler(sig, frame):
|
||||
sys.exit(0)
|
||||
|
||||
signal.signal(signal.SIGTERM, signal_handler)
|
||||
|
||||
with socketserver.TCPServer(("", PORT), Handler) as httpd:
|
||||
print("serving at port", PORT)
|
||||
httpd.serve_forever()
|
Loading…
Add table
Add a link
Reference in a new issue