Revision 1028
| trunk/frameworks/_fwAndami/src/com/iver/andami/Launcher.java | ||
|---|---|---|
| 1116 | 1116 |
* @param extDir DOCUMENT ME! |
| 1117 | 1117 |
*/ |
| 1118 | 1118 |
private static void downloadExtensions(String extDir) {
|
| 1119 |
try{
|
|
| 1119 |
java.util.Date fechaActual = null; |
|
| 1120 |
try{
|
|
| 1120 | 1121 |
if (System.getProperty("javawebstart.version") != null) {
|
| 1121 | 1122 |
//Obtenemos la URL del servidor |
| 1122 | 1123 |
BasicService bs = (BasicService) ServiceManager.lookup( |
| ... | ... | |
| 1209 | 1210 |
// Si todo ha ido bien, guardamos el timestamp. |
| 1210 | 1211 |
/// App.instance.getPc().addProperties("timestamp", miliSecondsInWeb);
|
| 1211 | 1212 |
// XMLEntity xml=ps.getPersistentXML(); |
| 1212 |
java.util.Date fechaActual = new java.util.Date();
|
|
| 1213 |
fechaActual = new java.util.Date();
|
|
| 1213 | 1214 |
System.setProperty("timestamp",fechaActual.toGMTString());
|
| 1214 | 1215 |
/* xml.putProperty("timestamp",fechaActual.toGMTString());
|
| 1215 | 1216 |
ps.setPresistentXML(xml); */ |
| ... | ... | |
| 1218 | 1219 |
NotificationManager.addError("",e);
|
| 1219 | 1220 |
} catch (UnavailableServiceException e) {
|
| 1220 | 1221 |
NotificationManager.addError("",e);
|
| 1222 |
} catch (SecurityException e) {
|
|
| 1223 |
System.err.println("No se puede escribir el timeStamp " + fechaActual.toGMTString());
|
|
| 1224 |
NotificationManager.addError("",e);
|
|
| 1221 | 1225 |
} |
| 1226 |
|
|
| 1222 | 1227 |
} |
| 1223 | 1228 |
private static Extensions[] getExtensions(){
|
| 1224 | 1229 |
ArrayList array=new ArrayList(); |
Also available in: Unified diff