dubey/WebGoat
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Some updates and code improvements (#1288)

Browse Source 
* try with resources

* StringBuilder

* removed ant and updated spring boot
This commit is contained in:
René Zubcevic
2022-07-10 17:13:26 +02:00
committed by GitHub
parent 7dd0dd0923
commit e4eb5d783a
17 changed files with 46 additions and 62 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/main/resources/webgoat/static/js/libs/mode-java.js
View File

@ -831,7 +831,7 @@ var JavaHighlightRules = function() {
"Readable|Runtime|StringBuilder|Math|IncompatibleClassChangeError|"+
"NoSuchMethodError|ThreadLocal|RuntimePermission|ArithmeticException|"+
"NullPointerException|Long|Integer|Short|Byte|Double|Number|Float|"+
"Character|Boolean|StackTraceElement|Appendable|StringBuffer|"+
"Character|Boolean|StackTraceElement|Appendable|StringBuilder|"+
"Iterable|ThreadGroup|Runnable|Thread|IllegalMonitorStateException|"+
"StackOverflowError|OutOfMemoryError|VirtualMachineError|"+
"ArrayStoreException|ClassCastException|LinkageError|"+

12
src/main/resources/webgoat/static/js/libs/text.js
View File

@ -311,14 +311,14 @@ define(['module'], function (module) {
typeof Packages !== 'undefined' && typeof java !== 'undefined')) {
//Why Java, why is this so awkward?
text.get = function (url, callback) {
var stringBuffer, line,
var stringBuilder, line,
encoding = "utf-8",
file = new java.io.File(url),
lineSeparator = java.lang.System.getProperty("line.separator"),
input = new java.io.BufferedReader(new java.io.InputStreamReader(new java.io.FileInputStream(file), encoding)),
content = '';
try {
stringBuffer = new java.lang.StringBuffer();
stringBuilder = new java.lang.StringBuilder();
line = input.readLine();
// Byte Order Mark (BOM) - The Unicode Standard, version 3.0, page 324
@ -334,15 +334,15 @@ define(['module'], function (module) {
}
if (line !== null) {
stringBuffer.append(line);
stringBuilder.append(line);
}
while ((line = input.readLine()) !== null) {
stringBuffer.append(lineSeparator);
stringBuffer.append(line);
stringBuilder.append(lineSeparator);
stringBuilder.append(line);
}
//Make sure we return a JavaScript string and not a Java string.
content = String(stringBuffer.toString()); //String
content = String(stringBuilder.toString()); //String
} finally {
input.close();
}