GWT.log("EVENT: thisClientMatchingPointsBusy = true");
thisClientMatchingPointsBusy = true;
}
});
eventBus.addHandler(MatchingPointsCompletedEvent.TYPE, new MatchingPointsCompletedEventHandler() {
@Override
public void onCompleted(MatchingPointsCompletedEvent event) {
// turn the checkApplicationBusy timer back on for this client
GWT.log("EVENT: rescheduling timer");