tree 1ddbc97827a86a9ab0790fded1f6fcdd360a2798
parent 71c685f2cbf34254cda3e21ee21a1bea224ad0ef
author Tony Mack <tmack@paris.CS.Princeton.EDU> 1368234282 -0400
committer Tony Mack <tmack@paris.CS.Princeton.EDU> 1368234282 -0400

we can no longer access the user from the key object, so just make up a random key name instead of using the user's username