[ci skip] Making dev tools work with multiple clones

umple · Nov 2, 2018 · 3a5a0cd · 3a5a0cd
1 parent 2bb2071
commit 3a5a0cd
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/dev-tools/pumple b/dev-tools/pumple
@@ -6,5 +6,6 @@ cd $UMPLEROOT/build
 echo Copying jars from dist director to the umpleonline scripts directory
 echo Do this after qfbumple when resting umpleonline
 ant -DshouldPackageUmpleOnline=true -Dmyenv=local -f build.umple.xml packageUmpleonline
+cd $UMPLEROOT/umpleonline/scripts
 quitserver
 
diff --git a/dev-tools/quitserver b/dev-tools/quitserver
@@ -1,4 +1,7 @@
 #!/bin/csh -fb
-echo Quitting any umpleonline server that is running
+if ! $?UMPLEROOT then
-cd ~/umple/umpleonline/scripts
+  setenv UMPLEROOT ~/umple
+endif
+echo Quitting any umpleonline server that is running in $UMPLEROOT/umpleonline/scripts
+cd $UMPLEROOT/umpleonline/scripts
 php UmpleServerTest.php server -quit