remove end script tag from comment

remove end script tag from comment


BUG=
TEST=

Committed: https://code.google.com/p/dart/source/detail?r=4492

[mattsh, 2012-02-22 21:19:17]

The </script> tag that i had in one of my comments was messing up self hosting,
so I removed it.

[Jennifer Messerly, 2012-02-22 21:23:13]

lgtm

[Siggi Cherem (dart-lang), 2012-02-22 21:54:10]

https://chromiumcodereview.appspot.com/9416110/diff/1/tools/testing/frogpad/f...
File tools/testing/frogpad/frogpad.dart (left):

https://chromiumcodereview.appspot.com/9416110/diff/1/tools/testing/frogpad/f...
tools/testing/frogpad/frogpad.dart:107: *   </script>
Please add a TODO somewhere about handling this more gracefully. Probably the
solution should be to either convert the code or escape the string "</script>"
somehow.

I should be able to write a program with this:

  return "</script>"

and not break frogpad.

[mattsh, 2012-02-22 21:57:29]

https://chromiumcodereview.appspot.com/9416110/diff/1/tools/testing/frogpad/f...
File tools/testing/frogpad/frogpad.dart (left):

https://chromiumcodereview.appspot.com/9416110/diff/1/tools/testing/frogpad/f...
tools/testing/frogpad/frogpad.dart:107: *   </script>
On 2012/02/22 21:54:10, sigmund wrote:
> Please add a TODO somewhere about handling this more gracefully. Probably the
> solution should be to either convert the code or escape the string "</script>"
> somehow.
> 
> I should be able to write a program with this:
> 
>   return "</script>"
> 
> and not break frogpad.

Yes, good point.