[Webkit-unassigned] [Bug 124717] process_file() should throw instead of exiting directly in filereader.py

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=124717





--- Comment #1 from Dániel Bátyai <Batyai.Daniel at stud.u-szeged.hu>  2013-11-21 07:25:39 PST ---
Created an attachment (id=217566)
 --> (https://bugs.webkit.org/attachment.cgi?id=217566&action=review)
Proposed patch

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.