*Wrong url
This commit is contained in:
parent
9c805f2de2
commit
52740d1e1c
@ -28,7 +28,7 @@ ext {
|
|||||||
date = git.head().date.format("yy.MM.dd")
|
date = git.head().date.format("yy.MM.dd")
|
||||||
revision = "-${git.head().abbreviatedId}"
|
revision = "-${git.head().abbreviatedId}"
|
||||||
parents = git.head().parentIds;
|
parents = git.head().parentIds;
|
||||||
index = -77; // Offset to mach CI
|
index = -78; // Offset to mach CI
|
||||||
int major, minor, patch;
|
int major, minor, patch;
|
||||||
major = minor = patch = 0;
|
major = minor = patch = 0;
|
||||||
for (;parents != null && !parents.isEmpty();index++) {
|
for (;parents != null && !parents.isEmpty();index++) {
|
||||||
|
@ -235,7 +235,7 @@ public class BrushCommands {
|
|||||||
WorldData worldData = player.getWorld().getWorldData();
|
WorldData worldData = player.getWorld().getWorldData();
|
||||||
if (filename.startsWith("http")) {
|
if (filename.startsWith("http")) {
|
||||||
URL url = new URL(filename);
|
URL url = new URL(filename);
|
||||||
URL webInterface = new URL(Settings.IMP.WEB.URL);
|
URL webInterface = new URL(Settings.IMP.WEB.ASSETS);
|
||||||
if (!url.getHost().equalsIgnoreCase(webInterface.getHost())) {
|
if (!url.getHost().equalsIgnoreCase(webInterface.getHost())) {
|
||||||
BBC.WEB_UNAUTHORIZED.send(player, url);
|
BBC.WEB_UNAUTHORIZED.send(player, url);
|
||||||
return;
|
return;
|
||||||
|
Loading…
Reference in New Issue
Block a user