diff --git a/VERSION b/VERSION index 53c649a6..f7d25eb0 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -Version 2.8.2-stable+timestamp.2013.12.04.19.34.45 +Version 2.8.2-stable+timestamp.2013.12.06.20.14.05 diff --git a/gluon/widget.py b/gluon/widget.py index 2a8ddc98..371d1147 100644 --- a/gluon/widget.py +++ b/gluon/widget.py @@ -1224,7 +1224,10 @@ end tell if not options.nobanner: print 'please visit:' print '\t', url - print 'use "kill -SIGTERM %i" to shutdown the web2py server' % os.getpid() + if sys.platform.startswith('win'): + print 'use "taskkill /f /pid %i" to shutdown the web2py server' % os.getpid() + else: + print 'use "kill -SIGTERM %i" to shutdown the web2py server' % os.getpid() # enhance linecache.getline (used by debugger) to look at the source file # if the line was not found (under py2exe & when file was modified)