waldek
/
puredata
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

added git pull before the server starts

This commit is contained in:
wouter gordts 2019-07-04 22:39:56 +02:00
parent 997d25d7f1
commit 09eeabb118
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
web_server.py
View File

@ -40,6 +40,11 @@ def resources(filename):
return bottle.static_file(filename, root="resources") return bottle.static_file(filename, root="resources")
def main(): def main():
print("pulling latest github push")
status = subprocess.call(["git", "pull", "origin"])
if status is not 0:
print("error pulling froom github...")
exit()
print("generating FR doc now with pandoc") print("generating FR doc now with pandoc")
status = subprocess.call(["pandoc", "puredata_fr.md", "-o", "index_fr.html"]) status = subprocess.call(["pandoc", "puredata_fr.md", "-o", "index_fr.html"])
print("generating EN doc now with pandoc") print("generating EN doc now with pandoc")