andresriancho/pico-wavsep — pull request #2 by dwvisser (2014-07-24 15:45:28+00:00)
Title: Issue #1 Fix

This is my proposed fix for issue #1. I replaced start.sh with a start.py that allows specification of the wavsep install.jsp parameters, as well as alternate HTTP and AJP13 port numbers. I also altered the README significantly to explain invoking the script: https://github.com/dwvisser/pico-wavsep/blob/enhance/README.md