mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-29 19:45:01 +02:00
Code Issues Wiki Activity

Revert handling of InterruptedException

Browse source
This commit is contained in:
Anton Leherbauer 2007-08-31 06:34:56 +00:00
parent 60eb714db0
commit 573b065d33
1 changed files with 8 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
core/org.eclipse.cdt.core/utils/org/eclipse/cdt/utils/Platform.java
View file

@ -16,6 +16,8 @@ package org.eclipse.cdt.utils;
import java.io.BufferedReader; import java.io.BufferedReader;
import java.io.IOException; import java.io.IOException;
import java.io.InputStreamReader; import java.io.InputStreamReader;
import org.eclipse.cdt.core.CCorePlugin;
import org.osgi.framework.Bundle; import org.osgi.framework.Bundle;
public final class Platform { public final class Platform {
@ -64,9 +66,10 @@ public final class Platform {
bufferedReader.close(); bufferedReader.close();
unameProcess.waitFor(); // otherwise the process becomes a zombie unameProcess.waitFor(); // otherwise the process becomes a zombie
} catch (IOException e) { } catch (IOException e) {
CCorePlugin.log(e);
} catch (InterruptedException exc) { } catch (InterruptedException exc) {
// clear interrupted state // restore interrupted flag
Thread.interrupted(); Thread.currentThread().interrupt();
} }
} else if (arch.equals(org.eclipse.core.runtime.Platform.ARCH_X86)) { } else if (arch.equals(org.eclipse.core.runtime.Platform.ARCH_X86)) {
// Determine if the platform is actually a x86_64 machine // Determine if the platform is actually a x86_64 machine
@ -90,9 +93,10 @@ public final class Platform {
bufferedReader.close(); bufferedReader.close();
unameProcess.waitFor(); // otherwise the process becomes a zombie unameProcess.waitFor(); // otherwise the process becomes a zombie
} catch (IOException e) { } catch (IOException e) {
CCorePlugin.log(e);
} catch (InterruptedException exc) { } catch (InterruptedException exc) {
// clear interrupted state // restore interrupted flag
Thread.interrupted(); Thread.currentThread().interrupt();
} }
} }
cachedArch= arch; cachedArch= arch;