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 | ||