1 | String getDomain() {↵ | | 1 | String getFilename() {↵
|
2 | return getPropertyAsString(DOMAIN);↵ | | 2 | return getPropertyAsString(FILENAME);↵
|
3 | }↵ | | 3 | }↵
|
|
4 | public synchronized void setDomain(String domain) {↵ | | 4 | public void setFilename(String newFilename) {↵
|
5 | setProperty(DOMAIN, domain);↵ | | 5 | this.setProperty(FILENAME, newFilename);↵
|
6 | }↵ | | 6 | }↵
|
|
7 | public synchronized String getRealm() {↵ | | 7 | public String getScript() {↵
|
8 | return getPropertyAsString(REALM);↵ | | 8 | return this.getPropertyAsString(SCRIPT);↵
|
9 | }↵ | | 9 | }↵
|
|
10 | public synchronized void setRealm(String realm) {↵ | | 10 | public void setScript(String newScript) {↵
|
11 | setProperty(REALM, realm);↵ | | 11 | this.setProperty(SCRIPT, newScript);↵
|
12 | | | 12 |
|