Module: tools Branch: master Commit: 62e378418a67a7da0623d3b6bbb448530f6c5ab0 URL: http://source.winehq.org/git/tools.git/?a=commit;h=62e378418a67a7da0623d3b6b...
Author: Mikolaj Zalewski mikolajz@tygrys.dom Date: Sat Mar 1 21:22:14 2008 +0100
Show run log to the user
---
php/index.php | 2 +- php/runlog.php | 7 +++++++ scripts/Master.sh | 1 + 3 files changed, 9 insertions(+), 1 deletions(-)
diff --git a/php/index.php b/php/index.php index 47366fc..bb98636 100644 --- a/php/index.php +++ b/php/index.php @@ -85,7 +85,7 @@ for ($i = 0; $i < count($transl); $i++) <?php if ($time = filemtime("$DATAROOT/langs/summary")) { - echo "<p><small>Generated on ".gmdate("j M Y, G:i:s T", $time)."</small></p>"; + echo "<p><small>Generated on ".gmdate("j M Y, G:i:s T", $time)." (see <a href=\"runlog.php\">run log</a>)</small></p>"; } ?> </html> \ No newline at end of file diff --git a/php/runlog.php b/php/runlog.php new file mode 100644 index 0000000..f6e0591 --- /dev/null +++ b/php/runlog.php @@ -0,0 +1,7 @@ +<?php +include("config.php"); + +header("Content-type: text/plain"); +$f = fopen("$DATAROOT/dumps/run.log", "r"); +fpassthru($f); +?> \ No newline at end of file diff --git a/scripts/Master.sh b/scripts/Master.sh index 11dbb75..adcd046 100755 --- a/scripts/Master.sh +++ b/scripts/Master.sh @@ -59,6 +59,7 @@ mv -f $DESTDIR/langs $DESTDIR/langs.old mv -f $DESTDIR/dumps $DESTDIR/dumps.old mv -f $WORKDIR/langs $DESTDIR/langs mv -f $WORKDIR/dumps $DESTDIR/dumps +cp -f $WORKDIR/run.log $DESTDIR/dumps/run.log
rsync -r --delete conf $DESTDIR