1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46
|
#!/usr/bin/python3
# -*- coding: utf-8 -*-
'''
Copyright 2009
Matthias Ehmann,
Michael Gerhaeuser,
Carsten Miller,
Bianca Valentin,
Alfred Wassermann,
Peter Wilfahrt
This file is part of JSXGraph.
JSXGraph is free software: you can redistribute it and/or modify
it under the terms of the GNU Lesser General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
JSXGraph is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public License
along with JSXGraph. If not, see <http://www.gnu.org/licenses/>.
'''
import sys
import os
import urllib
import base64
import zlib
if __name__ == '__main__':
if len(sys.argv)<1:
sys.stderr.write("call: python decompress.py filename\n")
sys.exit(0)
filename = sys.argv[1]
if not os.path.exists(filename):
sys.stderr.write("file '%s' not found\n" % filename)
sys.exit(0)
f = open(filename, "r")
text = f.read()
#text = base64.b64encode(zlib.compress(urllib.quote(text), 9))
text = urllib.unquote(zlib.decompress(base64.b64decode(text)))
#text = zlib.decompress(base64.b64decode(text))
print (text)
|