remove end script tag from comment

tools/testing/frogpad/frogpad.dart

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 /**
  * This is the entrypoint for a version of the frog compiler that 
  * can run in the browser.
  * Because this is running in the browser, frog cannot access
  * the file system.  Instead, we assume the all necessary files
  * have been placed in inert <script> elements somewhere on the page.  
@@ skipping 86 matching lines @@
    * 
    * becomes:
    * 
    *   "frog_lang_dart"
    *  
    * And, so this file's contents will be found in a <script>
    * element that looks like this:
    *
    *   <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("/");
     if (components.isEmpty()) {
       throw new Exception("bad filename");
     }
     // Grab the last two components (the directory name and file name).
     int startIndex = Math.max(0, components.length - 2);
     int length = components.length - startIndex;;
     components = components.getRange(startIndex, length);
@@ skipping 14 matching lines @@
   }
 
   void createDirectory(String path, [bool recursive]) {
     throw new UnsupportedOperationException("");
   }
   
   void removeDirectory(String path, [bool recursive]) {
     throw new UnsupportedOperationException("");
   }
 }