def read(path): """读取路径下的文件""" user_id = os.environ.get("JUPYTERHUB_USER") or "" if not path.startswith("/"): path = rela2abs(path) with get_engine().begin() as db: src_file = get_file(db, user_id, path, True, crypto.NoEncryption().decrypt) return b64decode(src_file['content'].decode("utf-8"))
def post(self): usr= tornado.escape.xhtml_escape(self.current_user) #print "I got a request!" #print self.request.arguments file='/'+self.get_argument("file") name=split_api_filepath(file)[1] db=create_engine('postgresql://*****:*****@localhost/ishtar') binarycontent=pgquery.get_file(db, usr, file, include_content=True)['content'] db.dispose() with create_engine('postgresql://*****:*****@localhost/ishtar').begin() as db: pgquery.save_file(db, 'share', '/export/'+name, binarycontent, 0)
def post(self): name = tornado.escape.xhtml_escape(self.current_user) path=self.get_argument("path") directory=self.get_argument("directory") if directory[-1] != '/': directory=directory+'/' db=create_engine('postgresql://*****:*****@localhost/ishtar') binarycontent=pgquery.get_file(db, "share", path, include_content=True)['content'] db.dispose() with create_engine('postgresql://*****:*****@localhost/ishtar').begin() as db: pgquery.save_file(db, name, directory+split_api_filepath(path)[1], binarycontent, 0) self.redirect('/shared')
def post(self): id=self.get_argument("path") print id db=create_engine('postgresql://*****:*****@localhost/ishtar') fileContent=reads_base64(pgquery.get_file(db, "share", id, include_content=True)['content']) #notebook= nbformat.reads(fileContent, as_version=4) notebook=fileContent db.dispose() html_exporter = HTMLExporter() html_exporter.template_file = 'basic' (body, resources) = html_exporter.from_notebook_node(notebook) self.write(body)
def loadFile(filename,shared=False) : if shared: usr="******" else: env=os.environ.copy() usr=env["USRGILGA"] db=create_engine('postgresql://*****:*****@localhost/ishtar') binarycontent=pgquery.get_file(db, usr, filename, include_content=True)['content'] db.dispose() return StringIO.StringIO(binarycontent.decode('base64'))