_strip_css_comments may be unable to delete a comment

[uchida_t <dc578av_adle@…>]

http://genshi.edgewall.org/browser/trunk/genshi/filters/html.py?rev=1175#L541

_strip_css_comments is called only once.
So in the following description, a css comment remains.

//#!html
<div style="width: exp//**/**/ression(alert(1))">div</div>

I think this code is better.

    def _strip_css_comments(self, text):
        while True:
            s = self._CSS_COMMENTS('', text)
            if s == text:
                return s

[dc578av_adle@…]

Replying to uchida_t <dc578av_adle@…>:

{{{ #!python def _strip_css_comments(self, text): while True: s = self._CSS_COMMENTS(, text) if s == text: return s }}}

Sorry

    def _strip_css_comments(self, text):
        while True:
            s = self._CSS_COMMENTS('', text)
            if s == text:
                return s
            text = s