diff --git a/build.properties b/build.properties index 3881f73b5..598e8e9ad 100644 --- a/build.properties +++ b/build.properties @@ -3,7 +3,7 @@ javacSource=1.4 javacTarget=1.4 # Release Configuration -releaseVersion=0.424 +releaseVersion=0.425 releaseFile=yacy_dev_v${releaseVersion}_${DSTAMP}_${releaseNr}.tar.gz #releaseFile=yacy_v${releaseVersion}_${DSTAMP}_${releaseNr}.tar.gz releaseDir=yacy_dev_v${releaseVersion}_${DSTAMP}_${releaseNr} diff --git a/htroot/DetailedSearch.html b/htroot/DetailedSearch.html index e2b78e05f..e086fd8b2 100644 --- a/htroot/DetailedSearch.html +++ b/htroot/DetailedSearch.html @@ -12,6 +12,19 @@ picEmpty = new Image(11, 11); picEmpty.src = "/env/grafics/empty.gif"; picMinus = new Image(11, 11); picMinus.src = "/env/grafics/minus.gif"; +function checker(name, z1, z2) { + if (z1 == z2) { + document.write(""); + } else { + document.write(""); + } +} +function checkers(name, n) { + for (i = 0; i < 16; i++) { + checker(name, n, i); + } + document.write(n); +}