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)
|
