updated plugin Gitium version 1.0.5

This commit is contained in:
2023-06-28 12:45:49 +00:00
committed by Gitium
parent f710fa7de2
commit 7d5eef77cf
5 changed files with 367 additions and 340 deletions

View File

@ -215,7 +215,7 @@ function gitium_commit_and_push_gitignore_file( $path = '' ) {
if ( ! function_exists( 'gitium_acquire_merge_lock' ) ) :
function gitium_acquire_merge_lock() {
$gitium_lock_path = apply_filters( 'gitium_lock_path', '/tmp/.gitium-lock' );
$gitium_lock_path = apply_filters( 'gitium_lock_path', sys_get_temp_dir().'/.gitium-lock' );
$gitium_lock_handle = fopen( $gitium_lock_path, 'w+' );
$lock_timeout = intval( ini_get( 'max_execution_time' ) ) > 10 ? intval( ini_get( 'max_execution_time' ) ) - 5 : 10;