123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051 |
- function syntaxHighlight(json) {
- if (typeof json != 'string') {
- json = JSON.stringify(json, undefined, 2);
- }
- json = json.replace(/&/g, '&').replace(/</g, '<').replace(/>/g, '>');
- return json.replace(/("(\\u[a-zA-Z0-9]{4}|\\[^u]|[^\\"])*"(\s*:)?|\b(true|false|null)\b|-?\d+(?:\.\d*)?(?:[eE][+\-]?\d+)?)/g, function(match) {
- var cls = 'number';
- if (/^"/.test(match)) {
- if (/:$/.test(match)) {
- cls = 'key';
- } else {
- cls = 'string';
- }
- } else if (/true|false/.test(match)) {
- cls = 'boolean';
- } else if (/null/.test(match)) {
- cls = 'null';
- }
- return '<span class="' + cls + '">' + match + '</span>';
- });
- };
- // var t = null;
- // t = setTimeout(time, 1000); //開始运行
- function time() {
- // clearTimeout(t); //清除定时器
- dt = new Date();
- var y = dt.getFullYear();
- var mt = dt.getMonth() + 1;
- var day = dt.getDate();
- var h = dt.getHours(); //获取时
- var m = dt.getMinutes(); //获取分
- var s = dt.getSeconds(); //获取秒
- return Appendzero(y) + "-" + Appendzero(mt) + "-" + Appendzero(day) + " " + Appendzero(h) + ":" + Appendzero(m) + ":" + Appendzero(s);
- // t = setTimeout(time, 1000); //设定定时器,循环运行
- }
- //个位数补零
- function Appendzero(obj) {
- if (obj < 10) return "0" + obj;
- else return obj;
- }
- //滚动到底部
- function scrollBottom() {
- $('.data-view').animate({ scrollTop: $('.data-view').prop('scrollHeight') }, 1000);
- }
|