<html><body><div style="color:#000; background-color:#fff; font-family:times new roman, new york, times, serif;font-size:12pt"><div><span>Cool. What do the colors mean?</span></div><div> </div><div>* Mikel Maron * +14152835207 @mikel s:mikelmaron<br><blockquote style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; margin-top: 5px; padding-left: 5px;"> <div style="font-size: 12pt; font-family: 'times new roman', 'new york', times, serif; "> <div style="font-size: 12pt; font-family: 'times new roman', 'new york', times, serif; "> <div dir="ltr"> <font size="2" face="Arial"> <hr size="1"> <b><span style="font-weight:bold;">From:</span></b> Harry Wood <mail@harrywood.co.uk><br> <b><span style="font-weight: bold;">To:</span></b> "rebuild@openstreetmap.org" <rebuild@openstreetmap.org> <br> <b><span style="font-weight: bold;">Sent:</span></b> Friday, July 13, 2012 10:14 AM<br> <b><span style="font-weight:
bold;">Subject:</span></b> [Rebuild] Map display of the redaction bot progress<br> </font> </div> <br>
I made a map display showing where the redaction bot has been:<br>http://harrywood.dev.openstreetmap.org/license-change/botprocessing.php<br><br><br>That's based on regions mentioned in the bot log files appearing here:<br>http://gravitystorm.dev.openstreetmap.org/redactions/logs-live/<br><br>Andy set the bot going a second time in some regions to re-process them because it hit problems the first time round. Some bug to do with handling ampersand characters I think. This results in two polygons drawn on top of each-other on my map display, which is a bit confusing. I'll have to try to fix that.<br><br><br>Although it's a .php URL, I didn't actually do anything with php code. It's just HTML/javascript (get it by doing 'view source'!) But I have a ruby script running every minute to produce this JSONP file: http://harrywood.dev.openstreetmap.org/license-change/botprocessing.json<br><br>I know there's various obvious improvements
I should make.<br><br>Harry Wood<br><br>_______________________________________________<br>Rebuild mailing list<br><a ymailto="mailto:Rebuild@openstreetmap.org" href="mailto:Rebuild@openstreetmap.org">Rebuild@openstreetmap.org</a><br><a href="http://lists.openstreetmap.org/listinfo/rebuild" target="_blank">http://lists.openstreetmap.org/listinfo/rebuild</a><br><br><br> </div> </div> </blockquote></div> </div></body></html>