tree 527955b24da73cb796c082c55f9f1e26932278f3
parent 673c3e062f0b0d772a6fe81b0818a4fbe0fc9d07
author Simon Hunt <simon@onlab.us> 1462398543 -0700
committer Gerrit Code Review <gerrit@onlab.us> 1462406292 +0000

GUI -- Log the name of the logged-in user to the Javascript console, at beginning of index.html.

Change-Id: I973023edbb4aa1af3af816fc59895e8ab026192d