> Nick, is there a way we can increase or at least seed that random > display picker so that it picks more random numbers. localhost:12 > comes up quite a bit.
I could apply the attached if you like. Andrew
### Eclipse Workspace Patch 1.0 #P org.eclipse.dash.common.releng Index: builder/tests/runtests.sh =================================================================== RCS file: /cvsroot/technology/org.eclipse.dash/athena/org.eclipse.dash.commonbuilder/org.eclipse.dash.common.releng/builder/tests/runtests.sh,v retrieving revision 1.19 diff -u -r1.19 runtests.sh --- builder/tests/runtests.sh 20 Nov 2009 03:49:13 -0000 1.19 +++ builder/tests/runtests.sh 11 Dec 2009 16:41:20 -0000 @@ -44,7 +44,7 @@ # configure X server thread for tests; see http://wiki.eclipse.org/Modeling_Project_Releng/Building_Zips_And_Jars#UI_Testing # pick a random port between 12 and 32 -xport=$(expr '(' $RANDOM % 20 ')' + 12); +xport=$(expr '(' $RANDOM % 40 ')' + 12); xCmd="" xvncExists=$(which Xvnc); xvncExists=${xvncExists##*no Xvnc *} if [ $xvncExists ]; then
_______________________________________________ dash-dev mailing list dash-dev@eclipse.org https://dev.eclipse.org/mailman/listinfo/dash-dev
