svgui/pyjs/build.py
changeset 1734 750eeb7230a1
parent 1730 64d8f52bc8c8
child 1736 7e61baa047f0
equal deleted inserted replaced
1733:dea107dce0c4 1734:750eeb7230a1
   285 
   285 
   286     app_files = []
   286     app_files = []
   287     tmpl = read_boilerplate(data_dir, "all.cache.html")
   287     tmpl = read_boilerplate(data_dir, "all.cache.html")
   288     parser = pyjs.PlatformParser("platform")
   288     parser = pyjs.PlatformParser("platform")
   289     app_headers = ''
   289     app_headers = ''
   290     scripts = ['<script type="text/javascript" src="%s"></script>'%script \
   290     scripts = ['<script type="text/javascript" src="%s"></script>' % script \
   291                                                   for script in js_includes]
   291                                                   for script in js_includes]
   292     app_body = '\n'.join(scripts)
   292     app_body = '\n'.join(scripts)
   293 
   293 
   294     mod_code = {}
   294     mod_code = {}
   295     mod_libs = {}
   295     mod_libs = {}