<?php

/**
 * GlobalResourceLockOverlapException.php
 *
 * This program is free software; you can redistribute it and/or
 * modify it under the terms of the GNU General Public License as
 * published by the Free Software Foundation; either version 2 of
 * the License, or (at your option) any later version.
 *
 * @author      Moritz Strohm <strohm@data-quest.de>
 * @copyright   2017-2019
 * @license     http://www.gnu.org/licenses/gpl-2.0.html GPL version 2
 * @category    Stud.IP
 * @since       4.5
 */

/**
 * This exception is thrown when a global resource lock overlaps
 * with another global resource lock.
 */
class GlobalResourceLockOverlapException extends InvalidArgumentException
{

}