aboutsummaryrefslogtreecommitdiff
path: root/extension/pages/show-db.ts
diff options
context:
space:
mode:
authorFlorian Dold <florian.dold@gmail.com>2016-02-09 21:56:06 +0100
committerFlorian Dold <florian.dold@gmail.com>2016-02-09 21:56:06 +0100
commit5e85cd8b8fa25ed3fbfc260b48bcad098978407a (patch)
tree3c875261e2c3fa2176911caefc4dcf225a04df74 /extension/pages/show-db.ts
parent42a0076f5951d303635b2e544aa66112cdb9abfe (diff)
new reserve creation protocol
Diffstat (limited to 'extension/pages/show-db.ts')
-rw-r--r--extension/pages/show-db.ts44
1 files changed, 44 insertions, 0 deletions
diff --git a/extension/pages/show-db.ts b/extension/pages/show-db.ts
new file mode 100644
index 000000000..1c414dde7
--- /dev/null
+++ b/extension/pages/show-db.ts
@@ -0,0 +1,44 @@
+/*
+ This file is part of TALER
+ (C) 2015 GNUnet e.V.
+
+ TALER is free software; you can redistribute it and/or modify it under the
+ terms of the GNU General Public License as published by the Free Software
+ Foundation; either version 3, or (at your option) any later version.
+
+ TALER 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 General Public License for more details.
+
+ You should have received a copy of the GNU General Public License along with
+ TALER; see the file COPYING. If not, If not, see <http://www.gnu.org/licenses/>
+ */
+
+
+function replacer(match, pIndent, pKey, pVal, pEnd) {
+ var key = '<span class=json-key>';
+ var val = '<span class=json-value>';
+ var str = '<span class=json-string>';
+ var r = pIndent || '';
+ if (pKey)
+ r = r + key + pKey.replace(/[": ]/g, '') + '</span>: ';
+ if (pVal)
+ r = r + (pVal[0] == '"' ? str : val) + pVal + '</span>';
+ return r + (pEnd || '');
+}
+
+
+function prettyPrint(obj) {
+ var jsonLine = /^( *)("[\w]+": )?("[^"]*"|[\w.+-]*)?([,[{])?$/mg;
+ return JSON.stringify(obj, null, 3)
+ .replace(/&/g, '&amp;').replace(/\\"/g, '&quot;')
+ .replace(/</g, '&lt;').replace(/>/g, '&gt;')
+ .replace(jsonLine, replacer);
+}
+
+
+document.addEventListener("DOMContentLoaded", (e) => {
+ chrome.runtime.sendMessage({type:'dump-db'}, (resp) => {
+ document.getElementById('dump').innerHTML = prettyPrint(resp);
+ });
+});