Commit da114357 authored by Leigh Stoller's avatar Leigh Stoller

Minor bug fix.

parent 42f7dca4
......@@ -30,13 +30,13 @@ $this_user = CheckLoginOrDie();
$uid = $this_user->uid();
$uid_idx = $this_user->uid_idx();
$optargs = OptionalPageArguments("target_user", PAGEARG_USER);
#
# Standard Testbed Header
#
PAGEHEADER("SSH Keys");
$optargs = OptionalPageArguments("target_user", PAGEARG_USER);
# Default to current user.
$target_opt = "";
if (isset($target_user)) {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment