This commit is contained in:
Mike 2019-07-01 06:07:56 -04:00
parent 2a068c3cf4
commit ceb8f08bcb
2 changed files with 2 additions and 2 deletions

View file

@ -196,7 +196,7 @@ RUN cd /usr/local/source/ \
&& pip install -e . \
&& mkdir -p /usr/local/source/web-api/.vizierdb
ENV PULL_CODE=9
ENV PULL_CODE=10
RUN cd /usr/local/source/web-api \
&& git pull

View file

@ -33,7 +33,7 @@ ENV API_BASIC_AUTH=false
#setup production web-ui branch
RUN mkdir /usr/local/source/ \
&& cd /usr/local/source/ \
&& echo 'test12' \
&& echo 'test13' \
&& git clone https://github.com/VizierDB/web-ui.git \
&& cd /usr/local/source/web-ui \
&& git checkout -b local_$UI_BRANCH origin/$UI_BRANCH \