| 4 |
|
import uk.ac.ukc.iscream.core.*; |
| 5 |
|
import java.util.*; |
| 6 |
|
import java.io.*; |
| 7 |
+ |
import java.text.DateFormat; |
| 8 |
|
|
| 9 |
|
/** |
| 10 |
|
* An implementation of the Configuration IDL |
| 43 |
|
*/ |
| 44 |
|
ConfigurationServant(File configurationFile, Logger logRef) { |
| 45 |
|
_lastModified = configurationFile.lastModified(); |
| 45 |
– |
|
| 46 |
|
_logRef = logRef; |
| 47 |
– |
_logRef.write(this.toString(), "created - last modified:" + getLastModified()); |
| 47 |
|
|
| 48 |
+ |
String date = DateFormat.getDateTimeInstance(DateFormat.SHORT, DateFormat.MEDIUM).format(new Date(getLastModified())); |
| 49 |
+ |
_logRef.write(this.toString(), "created: " + configurationFile.getName() + "(" + date + ")" ); |
| 50 |
+ |
|
| 51 |
|
try { |
| 52 |
|
InputStream configurationStream = new FileInputStream(configurationFile); |
| 53 |
|
_properties.load(configurationStream); |
| 79 |
|
* @return the name of this class and its CVS revision |
| 80 |
|
*/ |
| 81 |
|
public String toString() { |
| 82 |
< |
return this.getClass().getName() + ":" + REVISION; |
| 82 |
> |
return this.getClass().getName() + "(" + REVISION.substring(11, REVISION.length() - 2) + ")"; |
| 83 |
|
} |
| 84 |
|
|
| 85 |
|
//---PRIVATE METHODS--- |