diff options
| author |   Parker Berberian <pberberian@iol.unh.edu> | 2017-08-21 09:50:22 -0400 |
|---|---|---|
| committer | Parker Berberian <pberberian@iol.unh.edu> | 2017-08-31 13:28:58 -0400 |
| commit | ee0b737e9182ddf7a674a0cde0ef5e7c115981cd (patch) | |
| tree | c6d2eb5dbfd70ffb307f1f4464de57710e0adc61 /tools/pharos-dashboard/src/jenkins | |
| parent | 42f369cdf3cf7a983132340bce3169d8bb11c0ab (diff) | |
Adds various conveniences for hosters.
JIRA: N/A
Adds documentation, as well as:
source/stop.sh: stops the pharos listener and any running deployment
source/deploy.sh: manually starts a deployment on the given host
Patchset2: improved and updated README
Change-Id: I918ca3bdf03a32f7a16d851d7ea7ebc968d66720
Signed-off-by: Parker Berberian <pberberian@iol.unh.edu>
Diffstat (limited to 'tools/pharos-dashboard/src/jenkins')
0 files changed, 0 insertions, 0 deletions