šablona/funkce/src/cz/frantovo/xmlWebGenerator/Funkce.java
author František Kučera <franta-hg@frantovo.cz>
Mon, 22 Aug 2011 01:10:55 +0200
changeset 28 3298cafa8686
parent 27 037a9f20bf3a
child 30 cefd5fe75cb8
permissions -rw-r--r--
#12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
6
801a8935caf7 Java funkce pro zjištění poslední úpravy souboru, Atom agregace, konfigurační soubor webu.
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     1
package cz.frantovo.xmlWebGenerator;
801a8935caf7 Java funkce pro zjištění poslední úpravy souboru, Atom agregace, konfigurační soubor webu.
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     2
27
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
     3
import java.io.BufferedReader;
6
801a8935caf7 Java funkce pro zjištění poslední úpravy souboru, Atom agregace, konfigurační soubor webu.
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     4
import java.io.File;
27
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
     5
import java.io.IOException;
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
     6
import java.io.InputStream;
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
     7
import java.io.InputStreamReader;
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
     8
import java.io.PrintStream;
6
801a8935caf7 Java funkce pro zjištění poslední úpravy souboru, Atom agregace, konfigurační soubor webu.
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     9
import java.util.Date;
801a8935caf7 Java funkce pro zjištění poslední úpravy souboru, Atom agregace, konfigurační soubor webu.
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    10
import java.net.URI;
801a8935caf7 Java funkce pro zjištění poslední úpravy souboru, Atom agregace, konfigurační soubor webu.
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    11
import java.net.URISyntaxException;
801a8935caf7 Java funkce pro zjištění poslední úpravy souboru, Atom agregace, konfigurační soubor webu.
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    12
28
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    13
/**
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    14
 * Knihovna funkcí volaných z XSLT.
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    15
 *  
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    16
 * TODO: časem rozdělit na více modulů (jmenných prostorů).
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    17
 * 
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    18
 * @author fiki
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    19
 */
6
801a8935caf7 Java funkce pro zjištění poslední úpravy souboru, Atom agregace, konfigurační soubor webu.
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    20
public class Funkce {
27
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    21
28
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    22
	/**
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    23
	 * Zjištuje, kdy byl naposledy daný soubor změněn.
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    24
	 * @param soubor cesta k souboru
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    25
	 * @return datum poslední změny
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    26
	 * @throws URISyntaxException
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    27
	 */
21
2f50f9e10a27 drobnosti
František Kučera <franta-hg@frantovo.cz>
parents: 6
diff changeset
    28
	public static Date posledníZměna(String soubor) throws URISyntaxException {
28
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    29
		URI uri = new URI(soubor);
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    30
		File f = new File(uri);
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    31
		return new Date(f.lastModified());
21
2f50f9e10a27 drobnosti
František Kučera <franta-hg@frantovo.cz>
parents: 6
diff changeset
    32
	}
27
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    33
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    34
	/**
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    35
	 * Zvýrazňuje syntaxi zdrojového kódu. Používá k tomu externí program/knihovnu pygmentize.
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    36
	 * @param zdroják zdrojový kód, který předáme příkazu pygmentize na standardním vstupu
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    37
	 * @param jazyk předáme příkazu pygmentize jako parametr -l &lt;lexer&gt;
28
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    38
	 * @return zvýrazněný text nebo null, pokud došlo k chybě.
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    39
	 * TODO: použít (?) místo textu instanci com.icl.saxon.om.NodeInfo http://saxon.sourceforge.net/saxon6.5.3/extensibility.html
27
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    40
	 */
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    41
	public static String zvýrazniSyntaxi(String zdroják, String jazyk) throws IOException, InterruptedException {
28
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    42
		String příkaz = "pygmentize";
27
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    43
28
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    44
		if (jazyk == null || jazyk.length() == 0) {
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    45
			System.err.println("Není vyplněn atribut „jazyk“ → není jasné, jak se má zvýrazňovat.");
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    46
			return null;
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    47
		} else if (isPrikazDostupny(příkaz)) {
27
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    48
			Runtime r = Runtime.getRuntime();
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    49
			Process p = r.exec(new String[]{příkaz, "-f", "html", "-l", jazyk});
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    50
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    51
			PrintStream vstupProcesu = new PrintStream(p.getOutputStream());
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    52
			vstupProcesu.print(zdroják);
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    53
			vstupProcesu.close();
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    54
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    55
			String výsledek = načtiProud(p.getInputStream());
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    56
			String chyby = načtiProud(p.getErrorStream());
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    57
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    58
			p.waitFor();
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    59
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    60
			if (chyby.length() == 0) {
28
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    61
				// Pozor: pygmentize má i při chybě návratový kód 0 → je potřeba kontrolovat chybový výstup.
27
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    62
				return výsledek;
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    63
			} else {
28
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    64
				System.err.print("Při zvýrazňování syntaxe došlo k chybě: " + chyby);
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    65
				return null;
27
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    66
			}
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    67
		} else {
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    68
			System.err.println("Příkaz " + příkaz + " není na vašem systému dostupný → zvýrazňování syntaxe nebude fungovat.");
28
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    69
			System.err.println("Můžete ho nainstalovat pomocí:");
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    70
			System.err.println("\t$ aptitude install python-pygments   # (Debian/Ubuntu)");
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    71
			System.err.println("\t$ yum install python-pygments        # (Fedora/RedHat)");
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    72
			return null;
27
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    73
		}
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    74
	}
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    75
28
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    76
	/**
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    77
	 * Čte proud dat dokud to jde a výsledek pak vrátí jako text.
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    78
	 * @param proud vstupní proud
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    79
	 * @return obsah proudu jako text
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    80
	 * @throws IOException 
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    81
	 */
27
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    82
	private static String načtiProud(InputStream proud) throws IOException {
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    83
		StringBuilder výsledek = new StringBuilder();
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    84
		BufferedReader buf = new BufferedReader(new InputStreamReader(proud));
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    85
		while (true) {
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    86
			String radek = buf.readLine();
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    87
			if (radek == null) {
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    88
				break;
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    89
			} else {
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    90
				výsledek.append(radek);
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    91
				výsledek.append("\n");
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    92
			}
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    93
		}
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    94
		return výsledek.toString();
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    95
	}
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
    96
28
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    97
	/**
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    98
	 * Pomocí programu which zjistí, jestli je daný příkaz v systému přítomný.
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
    99
	 * @param příkaz jehož přítomnost zjišťujeme
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
   100
	 * @return true pokud příkaz v systému existuje
3298cafa8686 #12 Lepší ošetření chyb – vypíšeme varování a na výstup vložíme původní text bez zvýraznění syntaxe.
František Kučera <franta-hg@frantovo.cz>
parents: 27
diff changeset
   101
	 */
27
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
   102
	private static boolean isPrikazDostupny(String příkaz) {
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
   103
		try {
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
   104
			Runtime r = Runtime.getRuntime();
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
   105
			Process p = r.exec(new String[]{"which", příkaz});
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
   106
			p.waitFor();
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
   107
			return p.exitValue() == 0;
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
   108
		} catch (Exception e) {
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
   109
			return false;
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
   110
		}
037a9f20bf3a Zvýrazňování syntaxe #12 – začátek.
František Kučera <franta-hg@frantovo.cz>
parents: 21
diff changeset
   111
	}
6
801a8935caf7 Java funkce pro zjištění poslední úpravy souboru, Atom agregace, konfigurační soubor webu.
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   112
}