@@ -15,7 +15,7 @@ function export_redis($key, $filter = false, $transform = false) {
1515 $ outputKey = str_replace ($ filter , $ transform , $ key );
1616 else
1717 $ outputKey = $ key ;
18-
18+
1919 // String
2020 if ($ type == 'string ' ) {
2121 echo 'SET " ' ,addslashes ($ outputKey ),'" " ' ,addslashes ($ redis ->get ($ key )),'" ' ,PHP_EOL ;
@@ -124,7 +124,7 @@ function export_json($key) {
124124
125125 // JSON
126126 if ($ _POST ['type ' ] == 'json ' ) {
127-
127+
128128 // Single key
129129 if (isset ($ _GET ['key ' ])) {
130130 echo json_encode (export_json ($ _GET ['key ' ]));
@@ -137,13 +137,13 @@ function export_json($key) {
137137 // if we have a filter and no match, nothing to do
138138 if ($ filter !== false && stripos ($ key , $ filter ) === false )
139139 continue ;
140-
140+
141141 // we rename the keys as necessary
142142 if ($ filter !== false && $ transform !== false )
143143 $ outputKey = str_replace ($ filter , $ transform , $ key );
144144 else
145145 $ outputKey = $ key ;
146-
146+
147147 $ vals [$ outputKey ] = export_json ($ key );
148148 }
149149
@@ -165,7 +165,7 @@ function export_json($key) {
165165 // if we have a filter and no match, we skip
166166 if ($ filter !== false && stripos ($ key , $ filter ) === false )
167167 continue ;
168-
168+
169169 export_redis ($ key , $ filter , $ transform );
170170 }
171171 }
@@ -195,7 +195,7 @@ function export_json($key) {
195195<option value="redis" <?php echo (isset ($ _GET ['type ' ]) && ($ _GET ['type ' ] == 'redis ' )) ? 'selected="selected" ' : '' ?> >Redis</option>
196196<option value="json" <?php echo (isset ($ _GET ['type ' ]) && ($ _GET ['type ' ] == 'json ' )) ? 'selected="selected" ' : '' ?> >JSON</option>
197197</select>
198- </p>
198+ </p>
199199
200200<?php if (!isset ($ _GET ['key ' ])): ?>
201201 <p>
@@ -209,9 +209,7 @@ function export_json($key) {
209209 </p>
210210<?php endif ; ?>
211211
212- <p>
213212<input type="submit" class="button" value="Export">
214- </p>
215213
216214</form>
217215<?php
0 commit comments