Changeset 314

Show
Ignore:
Timestamp:
06/26/08 15:20:27 (8 weeks ago)
Author:
jrus
Message:

consistently use spaces for indentation; before tabs/spaces were mixed

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • branches/0.5/daemon/orbited/static/demos/stomp/shell.js

    r284 r314  
    88        var s = self.format(s) 
    99        self.output.innerHTML += "&rarr; " + s + "<br>" 
    10         self.output.scrollTop = self.output.scrollHeight      
     10        self.output.scrollTop = self.output.scrollHeight      
    1111    } 
    1212     
    … …  
    1515    { 
    1616        var s = prettyprint(expr) 
    17                 s = htmlescape(s) 
     17        s = htmlescape(s) 
    1818        return s 
    1919    } 
    … …  
    2525        s = s.replace(" ", "&nbsp;", "g") 
    2626        s = s.replace("\n", "<br>", "g") 
    27         return s 
     27        return s 
    2828    } 
    2929 
    3030    var prettyprint = function(s) { 
    31         var q = "(" 
    32         if(typeof(s) == "string") 
    33                 return s 
     31        var q = "(" 
     32        if(typeof(s) == "string") 
     33            return s 
    3434        for (var i=0; i<s.length; i++) { 
    3535            if (typeof(s[i]) != "object") 
    … …  
    3838                q += prettyprint(s[i]) 
    3939            if (i < s.length -1) 
    40                 q += " " 
     40                q += " " 
    4141        } 
    42         q += ")" 
    43         return q 
     42        q += ")" 
     43        return q 
    4444    } 
    4545}