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); |