Welcome to mirror list, hosted at ThFree Co, Russian Federation.

save.php - github.com/erikdubbelboer/phpRedisAdmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
blob: ef8b1d85dfddb0970c4178dacd41f9c1c5a7efa7 (plain)
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
<?php

require_once 'includes/common.inc.php';
global $redis, $config, $csrfToken, $server;

$page['css'][] = 'frame';
$page['js'][]  = 'frame';

require 'includes/header.inc.php';

?>
<h2>Saving</h2>

...
<?php

// Flush everything so far cause the next command could take some time.
flush();

$redis->save();

?>
 done.
<?php

require 'includes/footer.inc.php';

?>