remove end script tag from comment

tools/testing/frogpad/frogpad.dart

Index: tools/testing/frogpad/frogpad.dart
diff --git a/tools/testing/frogpad/frogpad.dart b/tools/testing/frogpad/frogpad.dart
index e203ac5834392079bc04f6f69bf03198e1576e4a..7e806dce20796267667ccddf814b4c9d52f7a46c 100644
--- a/tools/testing/frogpad/frogpad.dart
+++ b/tools/testing/frogpad/frogpad.dart
@@ -104,7 +104,7 @@ class HtmlFileSystem implements FileSystem {
    *
    *   <script type=application/inert id="frog_lang_dart">
    *      ... contents of file lang.dart placed here ...
-   *   </script>

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

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]

Yes, good point.

+   *   etc.
    */    
   String idOfFilename(String filename) {
     List<String> components = filename.split("/");