https://bugzilla.wikimedia.org/show_bug.cgi?id=52236
--- Comment #2 from Tim Landscheidt <[email protected]> --- (In reply to comment #1) > BTW, where's the source for filter.exe? Guess I found it (cf. https://github.com/benapetr/filter/blob/master/filter/Program.cs): | string s; | while ((s = Console.ReadLine()) != null) | { | if (s.StartsWith("tools-webserver") && s.Contains("HTTP/")) | { | if (s.Contains("+0000]")) | { | int position = 0; | position = s.IndexOf("+0000]") + 8; | int position_of_first = s.IndexOf("/", position); | int position_of_next = s.IndexOf("/", position_of_first + 1); | s = s.Substring(0, position_of_next) + " HTTP" + s.Substring(s.LastIndexOf("/")); | Console.WriteLine(s); | } | } | } Shouldn't be too hard to port to sed :-). -- You are receiving this mail because: You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
