[web2py] Bug with error ticket viewing and line numbers

[Chris]

In the error ticket page, my source code is double spaced but the line
numbers aren't. Is that because of *nix line endings or something?