tds/src/main/java/thredds/servlet/ServletUtil.java
static public void showThreads(PrintStream pw) {
    Thread current = Thread.currentThread();
    ThreadGroup group = current.getThreadGroup();
    while (true) {
      if (group.getParent() == null) break;
      group = group.getParent();
    }
    showThreads(pw, group, current);
  }
static public void showThreads(PrintStream pw) {
    Thread current = Thread.currentThread();
    ThreadGroup group = current.getThreadGroup();
    while (true) {
      if (group.getParent() == null) break;
      group = group.getParent();
    }
    showThreads(pw, group, current);
  }
static public void showThreads ( PrintStream pw ) { Thread current = Thread . currentThread ( ) ; ThreadGroup group = current . getThreadGroup ( ) ; while ( true ) { if ( group . getParent ( ) == null ) break ; group = group . getParent ( ) ; } showThreads ( pw , group , current ) ; }
/* static private String getServerInfoName(String serverInfo) {
int slash = serverInfo.indexOf('/');
if (slash == -1) return serverInfo;
else return serverInfo.substring(0, slash);
}

static private String getServerInfoVersion(String serverInfo) {
Version info is everything between the slash and the space
int slash = serverInfo.indexOf('/');
if (slash == -1) return null;
int space = serverInfo.indexOf(' ', slash);
if (space == -1) space = serverInfo.length();
return serverInfo.substring(slash + 1, space);
}
/ * static private String getServerInfoName ( String serverInfo ) { int slash = serverInfo . indexOf ( / ) ; if ( slash == - 1 ) return serverInfo ; else return serverInfo . substring ( 0 slash ) ; }