javascript: indent systemInfo
commitc6cf8199ed9e067a051005fbecd3be27f7598439
authorraichoo <raichoo@googlemail.com>
dateMon 23 Jun 2014, 16:00 (12 years ago)
parenteb54165
jsrts/Runtime-browser.js+7−7
@@ -4,11 +4,11 @@ var __IDRRT__print = function(s) {
44
55
66var __IDRRT__systemInfo = function(index) {
7− switch(index) {
8− case 0:
9− return "javascript";
10− case 1:
11− return navigator.platform;
12− }
13− return "";
7+ switch(index) {
8+ case 0:
9+ return "javascript";
10+ case 1:
11+ return navigator.platform;
12+ }
13+ return "";
1414}
jsrts/Runtime-node.js+6−6
@@ -6,12 +6,12 @@ var putStr = (function() {
66})();
77
88var __IDRRT__systemInfo = function(index) {
9− var os = require('os')
9+ var os = require('os')
1010 switch(index) {
11− case 0:
12− return "node";
13− case 1:
14− return os.platform();
11+ case 0:
12+ return "node";
13+ case 1:
14+ return os.platform();
1515 }
16− return "";
16+ return "";
1717}