Community
Participate
Working Groups
if( executeScript == null ) {
executeScript = script;
executeResult = null;
while( executeResult == null ) {
while( executeResult == null && !isDisposed() ) {
Display display = getDisplay();
if( !display.readAndDispatch() ) {
display.sleep();
}
if ( isDisposed() )
return false;
executeScript = null;
executePending = false;
result = executeResult.booleanValue();