earth radius

[pgrandjean]

world radius should be 12742

[da115115]

I guess that we are talking about the Earth diameter (rather than radius) used in the Django view script, currently specified as 12756.

[pgrandjean]

Yes, diameter :)