Flush stderr after printing exception in the default error handler.
authorFredrik Tolf <fredrik@dolda2000.com>
Sun, 5 Jan 2014 07:02:41 +0000 (08:02 +0100)
committerFredrik Tolf <fredrik@dolda2000.com>
Sun, 5 Jan 2014 07:02:41 +0000 (08:02 +0100)
commitd1e3dec2221697e7f59be8808f7eb83ffa8ab85a
tree2321980251036b72b40d0a82b29ec25b9b905900
parent8437855e8e2e18058681a1b63c77d0ec970535cb
Flush stderr after printing exception in the default error handler.
wrw/dispatch.py