twisterarmy/twister-rss-bot
1
0
Fork 0
mirror of https://github.com/twisterarmy/twister-rss-bot.git synced 2025-02-07 04:34:25 +00:00
Code Issues Projects Releases Wiki Activity

prevent multi-thread execution

Browse Source
This commit is contained in:
ghost 2023-12-22 07:43:02 +02:00
parent 932b5c76a6
commit fbe17d0bc3
1 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/cli/bot.php
View File

@ -10,6 +10,21 @@ $config = json_decode(
) )
); );
// Prevent multi-thread execution
$semaphore = sem_get(
crc32(
__DIR__ . '.twister.rss.bot'
),
1
);
if (false === sem_acquire($semaphore, true))
{
exit(
_('Process locked by another thread') . PHP_EOL
);
}
// Connect twister // Connect twister
try try
{ {