<?php

/**
 * This Exception is thrown if, during creation of an user, the given username
 * is already taken.
 *
 * @author Thomas Schwery <thomas.schwery@epfl.ch>
 */
class UserExistsException extends Exception {

}
?>
