Improve API server's git rev-list calls.

[arvados.git] / apps / workbench / app / views / users / home.js.erb

var new_content = "<%= escape_javascript(render partial: 'tables') %>";
if ($('div#home-tables').html() != new_content)
   $('div#home-tables').html(new_content);