/**
* Reset the cookie file so that it refers to the specified user.
*
- * @param $uid User id to set as the active session.
+ * @param $uid
+ * User id to set as the active session.
*/
public function sessionReset($uid = 0) {
// Close the internal browser.