forked from phoedos/pmd
24ce16e166
git-svn-id: https://pmd.svn.sourceforge.net/svnroot/pmd/trunk@791 51baf565-9d33-0410-a72c-fc3788e3496d
8 lines
183 B
Bash
8 lines
183 B
Bash
#!/bin/bash
|
|
|
|
JINI_SDK=/home/tom/projects/jini/sdk/
|
|
|
|
# need a webserver, too
|
|
echo "Starting HTTP server on port 8081"
|
|
java -jar ${JINI_SDK}lib/tools.jar -dir ${JINI_SDK}lib -port 8081
|