diff options
| author | okamosy <okamosy@gmail.com> | 2011-10-30 21:30:21 +0000 |
|---|---|---|
| committer | okamosy <okamosy@gmail.com> | 2011-10-30 21:30:21 +0000 |
| commit | dd87dcdd3d3d94d00a38dbb37280fad183356601 (patch) | |
| tree | 5eb10376287f9d3a4435e62168195598a42ccd8c /EssentialsUpdate/src/com/earth2me/essentials/update/GetFile.java | |
| parent | ffd7ba7d5f2312ea9fc1c818b39938e5d7de86b6 (diff) | |
| parent | 4ac03ef15a7c729a683bfd65b419d0d6ca65756c (diff) | |
| download | Essentials-dd87dcdd3d3d94d00a38dbb37280fad183356601.tar Essentials-dd87dcdd3d3d94d00a38dbb37280fad183356601.tar.gz Essentials-dd87dcdd3d3d94d00a38dbb37280fad183356601.tar.lz Essentials-dd87dcdd3d3d94d00a38dbb37280fad183356601.tar.xz Essentials-dd87dcdd3d3d94d00a38dbb37280fad183356601.zip | |
Merge branch 'master' of github.com:essentials/Essentials into ess
Diffstat (limited to 'EssentialsUpdate/src/com/earth2me/essentials/update/GetFile.java')
| -rw-r--r-- | EssentialsUpdate/src/com/earth2me/essentials/update/GetFile.java | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/EssentialsUpdate/src/com/earth2me/essentials/update/GetFile.java b/EssentialsUpdate/src/com/earth2me/essentials/update/GetFile.java index 8727d2f3b..b48d95dd2 100644 --- a/EssentialsUpdate/src/com/earth2me/essentials/update/GetFile.java +++ b/EssentialsUpdate/src/com/earth2me/essentials/update/GetFile.java @@ -12,7 +12,8 @@ import java.net.URL; import java.net.URLConnection; import java.security.MessageDigest; import java.security.NoSuchAlgorithmException; -import java.util.logging.Logger; +import java.util.logging.Level; +import org.bukkit.Bukkit; public class GetFile @@ -53,7 +54,7 @@ public class GetFile } catch (NoSuchAlgorithmException ex) { - // Ignore because the code is never called + throw new RuntimeException(ex); } } @@ -101,7 +102,7 @@ public class GetFile } if (brokenFile && !file.delete()) { - Logger.getLogger("Minecraft").severe("Could not delete file " + file.getPath()); + Bukkit.getLogger().log(Level.SEVERE, "Could not delete file {0}", file.getPath()); } } finally |