jvelilla/EiffelWebNino — pull request #7 by jocelyn (2011-11-04 18:10:25+00:00)
Title: Fixed typo in on_launched, and removed useless argument `a_name'

Fixed typo in on_launched