~ubuntu-branches/ubuntu/wily/julia/wily

« back to all changes in this revision

Viewing changes to ui/webserver/launch-julia-webserver.bat

  • Committer: Package Import Robot
  • Author(s): Sébastien Villemot
  • Date: 2013-02-06 17:54:29 UTC
  • mfrom: (1.1.3)
  • Revision ID: package-import@ubuntu.com-20130206175429-13br5kqpkfjqdmre
Tags: 0.0.0+20130206.git32ff5759-1
* New upstream snapshot.
* debian/copyright: reflect upstream changes
* debian/rules: update get-orig-source to reflect upstream changes
   + Don't ship nginx
   + Adapt for new configure-random target in deps/Makefile
* Enable build of Tk wrapper.
   + debian/control: add build dependency on tk-dev
   + debian/rules: add tk rule to build-arch
* debian/julia.install: install VERSION and COMMIT files
* no-webrepl.patch: new patch
* Refresh other patches
* Add source override for config.status file under deps/random/

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
1
@echo off
2
 
cd /d %~dp0
3
 
if exist ..\sbin\lighttpd.exe goto lighttpd
4
 
if exist ..\sbin\nginx.exe goto nginx
 
2
 
 
3
pushd %cd%
 
4
setlocal enableextensions enabledelayedexpansion
 
5
call %~dp0prepare-julia-env.bat %*
 
6
 
 
7
if exist %JULIA_HOME%..\sbin\nginx.exe goto nginx
 
8
if exist %JULIA_HOME%..\sbin\lighttpd.exe goto lighttpd
5
9
 
6
10
:error
7
 
echo "Please install either lighttpd or nginx into usr/sbin"
 
11
echo Please install either lighttpd or nginx into usr/sbin
 
12
goto end
8
13
 
9
14
:nginx
10
 
start ..\sbin\nginx -c ..\etc\nginx.conf
 
15
pushd %cd%
 
16
cd %JULIA_HOME%..\sbin
 
17
start /b nginx -c %JULIA_HOME%..\etc\nginx.conf
 
18
popd
11
19
goto julia
12
20
 
13
21
:lighttpd
14
 
start ..\sbin\lighttpd -D -f ..\etc\lighttpd.conf -m ..\lib
 
22
start /b %JULIA_HOME%..\sbin\lighttpd -D -f %JULIA_HOME%..\etc\lighttpd.conf -m %JULIA_HOME%..\lib
15
23
goto julia
16
24
 
17
25
:julia
18
 
echo "Connect to http://localhost:2000/ for the web REPL."
19
 
julia-release-webserver -p 2001 
 
26
echo Connect to http://localhost:2000/ for the web REPL.
 
27
echo Press Ctrl-C to quit, then answer N to prompt
 
28
start /b http://localhost:2000/
 
29
cd %JULIA_HOME%..\bin
 
30
call julia-release-webserver.exe -p 2001 
20
31
 
21
 
:end
 
 
b'\\ No newline at end of file'
 
32
:end
 
33
echo Killing nginx... (this can take a few seconds)
 
34
for /F "delims=" %%a in (%JULIA_HOME%../sbin/logs/nginx.pid) do taskkill /f /t /pid %%a
 
35
sleep 1
 
36
echo Exiting...
 
37
endlocal
 
38
popd
 
39
pause