diff options
| author |   Christopher Lott (cl778h) <clott@research.att.com> | 2017-08-07 08:07:56 -0400 |
|---|---|---|
| committer | Christopher Lott (cl778h) <clott@research.att.com> | 2017-08-07 08:09:42 -0400 |
| commit | 0c184777b805dbef3bc43d0084ca578d8b5aba99 (patch) | |
| tree | b0faa276b5ec53a6f1c7493cadca3864389a1467 /boot/mr_install.sh | |
| parent | a94e309943d51a2d56e9aa19a582ac9eb40966e6 (diff) | |
Revise portal start script for robustness.
1. Use portal script variables instead of hardcoded strings.
2. Remove named Docker containers BEFORE attempting to tag them;
this script failed if docker containers were lingering.
Change-Id: Id9ad8794f35745a02015768ca8b3eed16ad7dd73
Signed-off-by: Christopher Lott (cl778h) <clott@research.att.com>
Diffstat (limited to 'boot/mr_install.sh')
0 files changed, 0 insertions, 0 deletions