equal
deleted
inserted
replaced
353 </html> |
353 </html> |
354 """) |
354 """) |
355 |
355 |
356 target_file.close() |
356 target_file.close() |
357 |
357 |
|
358 res += ((target_fname, open(target_path, "rb")),) |
|
359 |
358 runtimefile_path = os.path.join(buildpath, "runtime_svghmi1_%s.py" % location_str) |
360 runtimefile_path = os.path.join(buildpath, "runtime_svghmi1_%s.py" % location_str) |
359 runtimefile = open(runtimefile_path, 'w') |
361 runtimefile = open(runtimefile_path, 'w') |
360 runtimefile.write(""" |
362 runtimefile.write(""" |
361 def _runtime_svghmi1_%(location)s_start(): |
363 def _runtime_svghmi1_%(location)s_start(): |
362 svghmi_root.putChild('%(view_name)s',File('%(xhtml)s')) |
364 svghmi_root.putChild('%(view_name)s',File('%(xhtml)s')) |