set_user

Description:

public void set_user (string? user)

Sets this's user to user.

Parameters:

this

a URI
user

the username, or null