552553554555556557558559560561562
throw exception; } break; case SCAN_2D: try { scanResult = new ScanConnectorToolRead2D(scanServerName, scanServerManager) .readScanResult(); } catch (SalsaDeviceException exception) { scanServerManager.invalidateScanServerProxy(scanServerName); throw exception;
494495496497498499500501502503504
throw exception; } break; case SCAN_2D: try { scanResult = new ScanConnectorToolRead2D(scanServerProxy).readScanResult(); } catch (SalsaDeviceException exception) { invalidateScanServerProxy(scanServerName); throw exception; }
551552553554555556557558559560561
504505506507508509510511512513514
531532533534535536537538539540541