EmergencyTimeoutException.php
No OneTemporary
Actions

Size

474 B

Referenced Files

None

Subscribers

None

EmergencyTimeoutException.php
View Options

	<?php

	namespace Wikimedia\RequestTimeout;

	/**
	* An exception which is thrown if a critical section is open for too long.
	*/
	class EmergencyTimeoutException extends TimeoutException {
	/**
	* @param string $name The name of the critical section
	* @param float $limit The limit (in seconds) which has expired
	*/
	public function __construct( $name, $limit ) {
	parent::__construct( "The critical section \"$name\" timed out after {limit} seconds",
	$limit );
	}
	}

File Metadata

Mime Type: text/x-php
Expires: Wed, Aug 19, 01:11 (2 w, 1 d ago)
Storage Engine: local-disk
Storage Format: Raw Data
Storage Handle: ca/90/c3768c834c06249ecb8014f84307
Default Alt Text: EmergencyTimeoutException.php (474 B)

Event Timeline