# HG changeset patch
# User drewp@bigasterisk.com
# Date 1465705357 0
# Node ID d5a0c77dfc5b270f99efdcacb770bd20419821bc
# Parent  d8929e28b8bcb95d0c7dd5bec5e791fbe4760b92
rdfdb status bar format
Ignore-this: bbadeabc679beccef07943fbb857a2ce

diff -r d8929e28b8bc -r d5a0c77dfc5b light9/web/rdfdbclient.coffee
--- a/light9/web/rdfdbclient.coffee	Sun Jun 12 02:36:29 2016 +0000
+++ b/light9/web/rdfdbclient.coffee	Sun Jun 12 04:22:37 2016 +0000
@@ -71,8 +71,8 @@
 
     ping = if @_lastPingMs > 0 then @_lastPingMs else '...'
     @setStatus("#{ws};
-      #{@_patchesReceived} recv
-      #{@_patchesSent} sent
+      #{@_patchesReceived} recv;
+      #{@_patchesSent} sent;
       #{@_patchesToSend.length} pending;
       #{ping}ms")