svgui/pyjs/build.py
changeset 1764 d5df428640ff
parent 1763 bcc07ff2362c
child 1767 c74815729afd
equal deleted inserted replaced
1763:bcc07ff2362c 1764:d5df428640ff
   284 
   284 
   285     app_files = []
   285     app_files = []
   286     tmpl = read_boilerplate(data_dir, "all.cache.html")
   286     tmpl = read_boilerplate(data_dir, "all.cache.html")
   287     parser = pyjs.PlatformParser("platform")
   287     parser = pyjs.PlatformParser("platform")
   288     app_headers = ''
   288     app_headers = ''
   289     scripts = ['<script type="text/javascript" src="%s"></script>' % script \
   289     scripts = ['<script type="text/javascript" src="%s"></script>' %
   290                                                   for script in js_includes]
   290                script for script in js_includes]
   291     app_body = '\n'.join(scripts)
   291     app_body = '\n'.join(scripts)
   292 
   292 
   293     mod_code = {}
   293     mod_code = {}
   294     mod_libs = {}
   294     mod_libs = {}
   295     modules = {}
   295     modules = {}