/** * macro rendering a skin * @param name name of skin */ function skin_macro(par) { if ( par && par.name ) { this.renderSkin(par.name); } } /** * macro-wrapper for href-function * @param action name of action to call on this prototype, default main */ function href_macro(par) { return this.href( (par&&par.action)?par.action:"main" ); } /** * macro returning the total number of sessions on this server * @see global.formatCount */ function countSessions_macro(par) { var arr = this.getApplications(); var sum = 0; for ( var i=0; i str.lastIndexOf('/') ) ? str.lastIndexOf('\\') : str.lastIndexOf('/'); res.write ( arr[i].substring(pos+1) + ".jar" ); if ( i < arr.length-1 ) res.write ( separator ); } } /** * Macro that returns the name and version of the server's os */ function os_macro() { return java.lang.System.getProperty("os.name") + " " + java.lang.System.getProperty("os.arch") + " " + java.lang.System.getProperty("os.version"); } /** * Macro that returns anything from server.properties */ function property_macro(par) { if ( par && par.key ) { return this.getProperty(key); } else { return ""; } } /** * Macro formatting server.properties */ function properties_macro(par) { formatProperties(this.getProperties(),par); } /** * Macro that returns the timezone of this server */ function timezone_macro(par) { return java.util.TimeZone.getDefault().getDisplayName(false, java.util.TimeZone.LONG) + " (" + java.util.TimeZone.getDefault().getID() + ")"; }