Project's name * @branch Git branch * */ public static function pull($args){ extract($args); /* [1] Load projects' configuration =========================================================*/ /* (1) Fetch file */ $fc = file_get_contents(__CONFIG__.'/projects.json'); if( !$fc ) return ['ModuleError'=>ManagerError::UnreachableResource]; /* (2) Checks json format */ $js = json_decode( $fc, true ); if( !$js ) return ['ModuleError'=>ManagerError::ParsingFailed]; /* [2] Checks @project argument and files =========================================================*/ /* (1) Checks @project */ if( !isset($js[$project]) ) return ['ModuleError'=>ManagerError::UnreachableResource]; /* (2) Checks @project's folder */ if( !is_dir($js[$project]['root']) ) return ['ModuleError'=>ManagerError::UnreachableResource]; /* (3) Checks @git directory */ if( !is_dir($js[$project]['root'].'/.git') ) return ['ModuleError'=>ManagerError::UnreachableResource]; /* [3] Launch script =========================================================*/ /* (1) Launch command + test */ } }