def export_world(world_uid): response.set_header('Content-type', 'application/json') response.set_header('Content-Disposition', 'attachment; filename="world.json"') return runtime.export_world(world_uid)
def export_nodenet(nodenet_uid): response.set_header('Content-type', 'application/json') response.set_header('Content-Disposition', 'attachment; filename="nodenet.json"') return runtime.export_nodenet(nodenet_uid)