/**
* Get a session for this implementation.
* @param config The configuration that is passed to getRepository
* @param credentials The credentials to log into the repository. If omitted, $config['user'] and $config['pass'] is used with getSimpleCredentials
* @return A session resulting from logging into the repository found at the $config path
*/
function getJCRSession($config, $credentials = null)
{
$repository = getRepository($config);
if (isset($config['pass']) || isset($credentials)) {
if (empty($config['workspace'])) {
$config['workspace'] = null;
}
if (empty($credentials)) {
$credentials = getSimpleCredentials($config['user'], $config['pass']);
}
return $repository->login($credentials, $config['workspace']);
} elseif (isset($config['workspace'])) {
return $repository->login(null, $config['workspace']);
} else {
return $repository->login(null, null);
}
}
/**
* Get a session for this implementation.
* @param config The configuration that is passed to getRepository
* @param credentials The credentials to log into the repository. If omitted, $config['user'] and $config['pass'] is used with getSimpleCredentials
* @return A session resulting from logging into the repository found at the $config path
*/
function getJCRSession($config, $credentials = null)
{
$repository = getRepository($config);
if (isset($config['pass']) || isset($credentials)) {
if (empty($config['workspace'])) {
$config['workspace'] = null;
}
if (empty($credentials)) {
$credentials = getSimpleCredentials($config['user'], $config['pass']);
}
return $repository->login($credentials, $config['workspace']);
} elseif (isset($config['workspace'])) {
throw new \PHPCR\RepositoryException(jackalope_baseCase::NOTSUPPORTEDLOGIN);
//return $repository->login(null, $config['workspace']);
} else {
throw new \PHPCR\RepositoryException(jackalope_baseCase::NOTSUPPORTEDLOGIN);
//return $repository->login(null, null);
}
}
echo "git repository changed, it need a pull\n";
$Name = $argv[1];
echo $Name . "\n";
$RepoUrl = "https://github.com/maplefu0602/" . $Name . ".git";
$Dir = $Name;
function gitClone($url, $name)
{
$cmd = "git clone " . $url . " " . $name;
echo $cmd . "\n";
echo shell_exec($cmd . " 2>&1; echo \$?\n");
}
function gitPull($name)
{
$cmd = "git --git-dir=" . $name . "/.git checkout && git --git-dir=" . $name . "/.git pull";
echo shell_exec($cmd . " 2>&1;echo \$?\n");
}
//echo shell_exec("ls -l 2>&1; echo $?");
function getRepository($RepoUrl, $Dir)
{
if (file_exists($Dir)) {
echo "Folder " . $Dir . " exists, need git pull.\n";
gitPull($Dir);
} else {
echo "Folder " . $Dir . "is not there, need git clone.\n";
gitClone($RepoUrl, $Dir);
}
}
getRepository($RepoUrl, $Dir);
?>
/**
* De record verwijderen.
*
* @throws Exception on failure
*
* @return Json
*/
private function delete()
{
$repo = getRepository($this->repository);
$repo->delete($this->model, $_POST[$this->primaryKey]);
//throw new Exception('Verwijderen van '.$this->subject.' #'.$_POST[$this->primarykey].' is mislukt');
return Json::success();
}
public function testAction()
{
$repository = $this->getDoctrine()->getManager() - getRepository(OCPlatformBundle::Advert);
$listAdvert = $repository->myFindAll();
}
<?php include 'parser.php'; include 'repository.php'; ?> <html> <head> <?php title(); ?> <!--<meta charset='utf-8'/>--> <link rel="stylesheet" type="text/css" href="css/style.css"> <script src="http://code.jquery.com/jquery-1.10.2.js"></script> <script type="text/javascript" src="js/javascript.js"></script> </head> <body> <div class='title'>Live Editor</div> <div class='repository'><?php getRepository(); ?> </div> <textarea class="edit"></textarea> <button type='submit'>Cancel</button> <button type='submit'>Save</button> </body> </html>
/**
* getGuthubData
* retrieve data through github API
*/
function getData($params)
{
$response = array();
// repository
$response['repository'] = getRepository($params['user'], $params['repo']);
// contributors
$response['contributors'] = getContributors($params['user'], $params['repo']);
// issues
// $response['issues'] = getIssues($params['user'], $params['repo'], array());
return json_encode($response);
}
