webinos/Webinos-Platform — pull request #492 by jplyle (2013-03-01 15:22:33+00:00)
Title: Fix the travis config to properly change webinos_config.

The travis configuration is supposed to change the
port number of the PZH Provider to enable it to run as
a user. However, the old SED script was flawed. This
patch fixes the regular expression

This patch is also intended to test our webinos Travis system.

Jira issue: WP-793