def TEMP(self):
web.header('Content-type', 'text/plain')
user_id = session.user().id
f = web.input(file=None)['file'].split('/')
f = f[-2] if len(f[-1]) == 0 else f[-1]
if len(f)==0: f = None
f = Files.get_file(f)
return json.dumps({'name': f.name, 'body': f.body, 'id': f.id})
def TEMP(self):
web.header('Content-type', 'text/plain')
user_id = session.user().id
f = web.input(file=None)['file'].split('/')
f = f[-2] if len(f[-1]) == 0 else f[-1]
if len(f) == 0: f = None
f = Files.get_file(f)
return json.dumps({'name': f.name, 'body': f.body, 'id': f.id})
def POST(self):
web.header('Content-type', 'text/plain')
user_id = session.user().id
sid = int(web.input(id='0')['id'], 10)
sname = web.input(name='')['name']
scode = web.input(code='')['code']
return Files.save(user_id, sid, sname, scode)
def POST(self):
web.header('Content-type', 'text/plain')
user_id = session.user().id
sid = int(web.input(id='0')['id'], 10)
sname = web.input(name='')['name']
scode = web.input(code='')['code']
return Files.save(user_id, sid, sname, scode)
def TEMP(self):
web.header('Content-type', 'text/html')
user_id = session.user().id
dir_ = web.input(dir='/')['dir']
parent_id = dir_.split('/')
parent_id = parent_id[-2] if len(parent_id[-1]) == 0 else parent_id[-1]
if len(parent_id)==0: parent_id = None
dirs = Files.get_directories(user_id, parent_id)
files = Files.get_files(user_id, parent_id)
s = ['<ul class="jqueryFileTree" style="display: none;">']
if dir_[-1] != '/': dir_+='/'
for d in dirs:
s.append('<li class="directory collapsed"><a href="#" rel="%s%d/">%s</a></li>' % (dir_, d.id, d.name))
for f in files:
s.append('<li class="file ext_txt"><a href="#" rel="%s%d">%s</a></li>' % (dir_, f.id, f.name))
s.append('</ul>')
return ' '.join(s)
def TEMP(self):
web.header('Content-type', 'text/html')
user_id = session.user().id
dir_ = web.input(dir='/')['dir']
parent_id = dir_.split('/')
parent_id = parent_id[-2] if len(parent_id[-1]) == 0 else parent_id[-1]
if len(parent_id) == 0: parent_id = None
dirs = Files.get_directories(user_id, parent_id)
files = Files.get_files(user_id, parent_id)
s = ['<ul class="jqueryFileTree" style="display: none;">']
if dir_[-1] != '/': dir_ += '/'
for d in dirs:
s.append(
'<li class="directory collapsed"><a href="#" rel="%s%d/">%s</a></li>'
% (dir_, d.id, d.name))
for f in files:
s.append(
'<li class="file ext_txt"><a href="#" rel="%s%d">%s</a></li>' %
(dir_, f.id, f.name))
s.append('</ul>')
return ' '.join(s)
def layout(page, title, **args):
title = ('Compiler at KBTU', 'Compiler - '+title)[len(title)>0]
user = session.user()
return view.layout(page, user=user, title=title, **args)
