tree d8534ae1006df0fd122aca4b3531db9d6a29f70e
parent edab9427aa6f64989826c16ca3cb4aa6fc184540
author Till Westmann <westmann@gmail.com> 1404788184 -0700
committer Ian Maxon <imaxon@uci.edu> 1404851805 -0800

remove unused properties

The properties AsterixWebServerPort and AsterixJSONAPIServerPort were
never read, but written in some places ..

Change-Id: If713cade15c2df2801ced43e8857e7f8ed5d3c36
Reviewed-on: http://fulliautomatix.ics.uci.edu:8443/93
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Ian Maxon <imaxon@uci.edu>