diff options
author | Linus Neumann <git_commits@linus-neumann.de> | 2018-11-07 13:47:21 +0100 |
---|---|---|
committer | Linus Neumann <git_commits@linus-neumann.de> | 2018-11-07 13:47:21 +0100 |
commit | 953086df478ef9e9692312499ec255fcead0c40c (patch) | |
tree | fe177c623c4384813069a6319e486fc7c7ff4dad /develop_server.sh | |
parent | cc1cc2647c681e5275dedbe79af272e0450d7f64 (diff) |
Restrukturisierung und Merge
Diffstat (limited to 'develop_server.sh')
-rwxr-xr-x | develop_server.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/develop_server.sh b/develop_server.sh index 8c2f27f..fcdbc65 100755 --- a/develop_server.sh +++ b/develop_server.sh | |||
@@ -79,6 +79,7 @@ function start_up(){ | |||
79 | echo "The HTTP server didn't start. Is there another service using port" $port "?" | 79 | echo "The HTTP server didn't start. Is there another service using port" $port "?" |
80 | return 1 | 80 | return 1 |
81 | fi | 81 | fi |
82 | ./fix_images.sh | ||
82 | echo 'Pelican and HTTP server processes now running in background.' | 83 | echo 'Pelican and HTTP server processes now running in background.' |
83 | } | 84 | } |
84 | 85 | ||