import dk.brics.jwig.runtime.*; import java.util.*; import java.io.*; import java.net.*; public class TempMan extends Service { boolean refresh = false; private static final XML templateFile = [[
<[name]>
<[rest]> ]]; private static final XML templateDir = [[
<[name]>
<[rest]> ]]; private static final XML templateWrap = [[ <[title]> <[body]> ]]; private static final XML templateBack = [[
]]; private static final XML templateBrowse = [[

<[name]>


<[back]>

<[dirs]>

<[files]> ]]; private static final XML templateFail = [[ Your update failed, please contact the service manager.

]]; private static final XML templateError = [[ Your template contains an error:

<[top]>
<[msg]>
<[bottom]>

The update has not been performed.
]]; private static final XML templateEdit = [[

<[name]>

]]; private static final XML templateOption = [[ <[rest]> ]]; public class Browse extends Session { File root = new File("/home/mis/Musik/templates"); void showWrap(String title, XML body) { show(templateWrap<[title=title,body=body]); } XML genBack(File current) { if (root.equals(current)) return [[]]; else return templateBack; } boolean isVersion(File f, File g) { String name = f.getName(); int i = name.lastIndexOf('.'); if (i==-1) return false; return g.getName().equals(name.substring(0,i)); } int versionInx(File f) { String name = f.getName(); int i = name.lastIndexOf('.'); return Integer.parseInt(name.substring(i+1)); } String versionDate(File f) { return new Date(f.lastModified()).toString(); } boolean isNewest(String s) { return s.lastIndexOf('.')==-1; } String pad3(String s) { if (s.length()==1) return "00"+s; if (s.length()==2) return "0"+s; return s; } String nextInx(File f) { File contents[] = f.getParentFile().listFiles(); int inx = 0; for (int i=0; i]]; File contents[] = f.getParentFile().listFiles(); Arrays.sort(contents); for (int i=0; i]]; XML dirs = [[<[rest]>]]; File contents[] = current.listFiles(); for (int i=0; i