<?xml version="1.0" encoding="UTF-8"?>
 
<!DOCTYPE properties SYSTEM "http://java.sun.com/dtd/properties.dtd">
 
<properties version="1.0">
 
    <comment>Validacni domena pro predmet PPA1</comment>
 
    <!-- Zda je domena aktivni -->
    <entry key="domain.enabled">1</entry>
 
    <!-- ucuje, zda je zapnut 'debug' rezim, tj. zda mj. prochazi kompletni stacktrace do vystupnich html -->
    <entry key="core.debug">0</entry>
 
    <!-- zda po sobe uklizet docasne soubory - pro ladeni. 1/0 -->
    <entry key="core.do_cleanup">0</entry>
 
    <!-- url na css styl pro exportovane html soubory -->
    <entry key="core.css_url">http://localhost/vs/vs.css</entry>
 
    <!-- pokud je core.concurrency_disabled = 1, pak je zakazan jakykoliv paralelismus,
     tj. ulohy validace se spousteji za sebou -->
    <entry key="core.concurrency_disabled">0</entry>
    
 
    <!-- maximalni velikost odevzdaneho souboru v KB -->
    <entry key="max_file_size">50</entry>
 
    <!-- seznam pripon souboru, ktere se akceptuji. Pokud neni uvedeno nebo obsahuje znak '*',
         akceptuji se vsechny soubory -->
    <entry key="accept_extensions">java</entry>
 
    <!-- maxilani doba celeho procesu validace v teto domene sekundach.
     Default hodnota je 30 vterin, neni-li uvedena -->
    <entry key="max_validation_time">300</entry>
 
    <!-- zde musi byt cesta k html adresari, kam se ukladaji vysledne html soubory. Tato
     cesta se nebere relativne vuci data adresari! -->
    <entry key="html_output_dir">data/html</entry>
 
    <!-- zacatek URL k http serveru, pres ktery budou vysledky pristupne -->
    <entry key="html_output_url">http://localhost/vs/</entry>
 
    <!-- zde je cesta k souboru ve formatu XML s jednoduchym "logem" vysledku. Je
     to soubor, ktery potrebuje Pavel Herout pro svoje statistiky -->
    <entry key="xml_result_file">data/results.xml</entry>
 
    <!-- nazev souboru s lokalizacnimi hlaskami pro tuhle domenu. Cesta je relativne
    vuci adresari domeny! -->
    <entry key="resource_bundle">nl.ppa1</entry>
 
    <!-- nazev souboru s java policy nastavenim. Vyuzije se v pripade, kdy se spousti Java tridy.
    Pote je tenhle soubor predan noev spustenemu JVM jako parametr a z nej se nactou bezpecnostni opatreni.
     Cesta je relativne k adreasri domeny.-->
    <entry key="java_policy_file">run.policy</entry>
 
    <!-- kde jsou ulozeny vzorove soubory pro PPA1  -->
    <entry key="ppa1_vzory_dir">d:/IdeaWorkspace/ValidacniServer/data/domains/ppa1/vzory</entry>
 
</properties>