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