Page Menu
Home
WickedGov Phorge
Search
Configure Global Search
Log In
Files
F1431274
CriticalSection.php
No One
Temporary
Actions
Download File
Edit File
Delete File
View Transforms
Subscribe
Flag For Later
Award Token
Size
1 KB
Referenced Files
None
Subscribers
None
CriticalSection.php
View Options
<?php
namespace
Wikimedia\RequestTimeout\Detail
;
use
ExcimerTimer
;
use
Wikimedia\RequestTimeout\EmergencyTimeoutException
;
/**
* Internal class for tracking critical sections
*
* @internal
*/
class
CriticalSection
{
/** @var string */
private
$name
;
/** @var ExcimerTimer|null */
private
$emergencyTimer
;
/**
* @see RequestTimeout::createCriticalSectionProvider
*
* @param string $name
* @param float $emergencyLimit
* @param callable|null $emergencyCallback
*/
public
function
__construct
(
$name
,
$emergencyLimit
,
$emergencyCallback
)
{
$this
->
name
=
$name
;
if
(
!
$emergencyCallback
)
{
/** @return never */
$emergencyCallback
=
static
function
()
use
(
$name
,
$emergencyLimit
)
{
throw
new
EmergencyTimeoutException
(
$name
,
$emergencyLimit
);
};
}
if
(
$emergencyLimit
>
0
&&
$emergencyLimit
!==
INF
)
{
$this
->
emergencyTimer
=
new
ExcimerTimer
;
$this
->
emergencyTimer
->
setInterval
(
$emergencyLimit
);
$this
->
emergencyTimer
->
setCallback
(
$emergencyCallback
);
$this
->
emergencyTimer
->
start
();
}
}
/**
* Stop the emergency timer, if it was started
*/
public
function
stop
()
{
if
(
$this
->
emergencyTimer
)
{
$this
->
emergencyTimer
->
stop
();
$this
->
emergencyTimer
=
null
;
}
}
}
File Metadata
Details
Attached
Mime Type
text/x-php
Expires
Sat, May 16, 20:15 (23 h, 3 m)
Storage Engine
local-disk
Storage Format
Raw Data
Storage Handle
a3/43/2398938ecb36a31186521c051bab
Default Alt Text
CriticalSection.php (1 KB)
Attached To
Mode
rMWPROD MediaWiki Production
Attached
Detach File
Event Timeline
Log In to Comment