Page Menu
Home
WickedGov Phorge
Search
Configure Global Search
Log In
Files
F4114852
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
Wed, Aug 19, 00:31 (4 d, 21 h ago)
Storage Engine
local-disk
Storage Format
Raw Data
Storage Handle
6e/dd/2b776ff693dd6d452ba505e0fce8
Default Alt Text
CriticalSection.php (1 KB)
Attached To
Mode
rMWPROD MediaWiki Production
Attached
Detach File
Event Timeline
Log In to Comment