From 558a136724b4b74ee2820b4b8985119e14e6fa5e Mon Sep 17 00:00:00 2001 From: ianb Date: Wed, 15 Mar 2006 16:25:34 +0000 Subject: Docstring addition from Alexey Shamrin --- paste/reloader.py | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) (limited to 'paste/reloader.py') diff --git a/paste/reloader.py b/paste/reloader.py index 4097aba..8f0d551 100644 --- a/paste/reloader.py +++ b/paste/reloader.py @@ -14,9 +14,17 @@ Then make sure your server is installed with a shell script like:: err="$?" done -or restart in Python (server.py does this). Use the watch_file(filename) -function to cause a reload/restart for other other non-Python files (e.g., -configuration files). +or is run from this .bat file (if you use Windows):: + + @echo off + :repeat + python server.py + if %errorlevel% == 3 goto repeat + +or run a monitoring process in Python (``paster serve --reload`` does +this). Use the watch_file(filename) function to cause a +reload/restart for other other non-Python files (e.g., configuration +files). """ import os -- cgit v1.2.1