# HG changeset patch
# User drewp@bigasterisk.com
# Date 2016-06-12 04:22:37
# Node ID d5a0c77dfc5b270f99efdcacb770bd20419821bc
# Parent  d8929e28b8bcb95d0c7dd5bec5e791fbe4760b92

rdfdb status bar format
Ignore-this: bbadeabc679beccef07943fbb857a2ce

diff --git a/light9/web/rdfdbclient.coffee b/light9/web/rdfdbclient.coffee
--- a/light9/web/rdfdbclient.coffee
+++ b/light9/web/rdfdbclient.coffee
@@ -71,8 +71,8 @@ class window.RdfDbClient
 
     ping = if @_lastPingMs > 0 then @_lastPingMs else '...'
     @setStatus("#{ws};
-      #{@_patchesReceived} recv
-      #{@_patchesSent} sent
+      #{@_patchesReceived} recv;
+      #{@_patchesSent} sent;
       #{@_patchesToSend.length} pending;
       #{ping}ms")