https://github.com/EasyCrypt/easycrypt
Revision 36a5c0d513db8c4f903cd39335b472329637f44f authored by Pierre-Yves Strub on 06 July 2014, 11:27:19 UTC, committed by Pierre-Yves Strub on 06 July 2014, 11:27:19 UTC
1 parent 5605003
Tip revision: 36a5c0d513db8c4f903cd39335b472329637f44f authored by Pierre-Yves Strub on 06 July 2014, 11:27:19 UTC
Fix behaviour of [progress [delta:split]]
Fix behaviour of [progress [delta:split]]
Tip revision: 36a5c0d
development.ini
# --------------------------------------------------------------------
# http://docs.pylonsproject.org/projects/pyramid/en/latest/narr/environment.html
[app:main]
use = egg:econline
pyramid.reload_templates = true
pyramid.debug_authorization = false
pyramid.debug_notfound = false
pyramid.debug_routematch = false
pyramid.default_locale_name = en
pyramid.includes = pyramid_debugtoolbar
econline.engine = localhost:8090
[server:main]
use = egg:waitress#main
host = 0.0.0.0
port = 6543
# --------------------------------------------------------------------
# http://docs.pylonsproject.org/projects/pyramid/en/latest/narr/logging.html
[loggers]
keys = root, econline
[handlers]
keys = console
[formatters]
keys = generic
[logger_root]
level = INFO
handlers = console
[logger_econline]
level = DEBUG
handlers =
qualname = econline
[handler_console]
class = StreamHandler
args = (sys.stderr,)
level = NOTSET
formatter = generic
[formatter_generic]
format = %(asctime)s %(levelname)-5.5s [%(name)s][%(threadName)s] %(message)s
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...