1 |
/* System.java -- useful methods to interface with the system |
/* System.java -- useful methods to interface with the system |
2 |
Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003 Free Software Foundation, Inc. |
Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003, 2004 |
3 |
|
Free Software Foundation, Inc. |
4 |
|
|
5 |
This file is part of GNU Classpath. |
This file is part of GNU Classpath. |
6 |
|
|
96 |
defaultProperties.put("gnu.classpath.vm.shortname", value); |
defaultProperties.put("gnu.classpath.vm.shortname", value); |
97 |
} |
} |
98 |
|
|
99 |
|
// Network properties |
100 |
|
if (defaultProperties.get("http.agent") == null) |
101 |
|
{ |
102 |
|
String userAgent |
103 |
|
= ("gnu-classpath/" |
104 |
|
+ defaultProperties.getProperty("gnu.classpath.version") |
105 |
|
+ " (" |
106 |
|
+ defaultProperties.getProperty("gnu.classpath.vm.shortname") |
107 |
|
+ "/" |
108 |
|
+ defaultProperties.getProperty("java.vm.version") |
109 |
|
+ ")"); |
110 |
|
defaultProperties.put("http.agent", userAgent); |
111 |
|
} |
112 |
|
|
113 |
defaultProperties.put("gnu.cpu.endian", |
defaultProperties.put("gnu.cpu.endian", |
114 |
VMSystem.isWordsBigEndian() ? "big" : "little"); |
VMSystem.isWordsBigEndian() ? "big" : "little"); |
115 |
|
|