File tree 1 file changed +11
-5
lines changed
1 file changed +11
-5
lines changed Original file line number Diff line number Diff line change @@ -9,28 +9,34 @@ if (_def.size() > 0) {
9
9
if (f. exists()) {
10
10
log. fine " Load user-defined System Properties"
11
11
f. withReader(' UTF-8' ){
12
- log. finest " * Read $f "
12
+ log. fine " * Read $f "
13
13
p. load(it)
14
14
}
15
15
}
16
16
17
17
log. fine " Update user-defined System Properties"
18
18
_def. each{ k , v ->
19
19
if (v) {
20
- log. finest " * Set $k = $v "
20
+ log. fine " * Set $k = $v "
21
21
p. put(k, v)
22
22
} else {
23
- log. finest " * Delete $k "
23
+ log. fine " * Delete $k "
24
24
p. remove(k)
25
25
}
26
26
}
27
27
28
28
log. fine " Store user-defined System Properties"
29
29
f. withWriter(' UTF-8' ){
30
- log. finest " * Write $f "
30
+ log. fine " * Write $f "
31
31
p. store(it, ' FileBot System Properties' )
32
32
}
33
33
}
34
34
35
35
36
- println f. getText(' UTF-8' )
36
+ if (f. exists()) {
37
+ // print configuration file
38
+ println f. getText(' UTF-8' )
39
+ } else {
40
+ // custom configuration file does not exist yet
41
+ log. warning " No user-defined properties"
42
+ }
You can’t perform that action at this time.
0 commit comments