MantisBT: master 883085bf

Diff Back to Repository
Author Committer Branch Timestamp Parent
dregad dregad master 2014-06-03 14:31 master 75371387
Changeset

Travis: use port 8080 instead of 80

Fixes build errors with PHP built-in web server. By using port 8080, we
no longer need to use sudo since it's only needed for port 80.
mod - scripts/travis_before_script.sh Diff File