PHP Header::set_title方法代码示例

# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
*/
$_SERVER['SCRIPT_NAME'] !== "/controller.php" ? require_once __DIR__ . "/classes/Requires.php" : (Links::$pretty = true);
Functions::check_required_parameters(array($_GET['param1']));
//Get recipe
$result = MySQLQueries::get_recipe($_GET['param1']);
$recipe = MySQLConnection::fetch_object($result);
$recipe = Functions::format_dates($recipe);
$interpreters = array("shell", "bash", "perl", "python", "node.js");
Header::set_title("Commando.io - Edit Recipe");
Header::render(array("chosen", "codemirror"));
Navigation::render("recipes");
?>
 
    <div class="container">
           
      <div class="row">
      	<div class="span12">
      		<h1 class="header" style="float: left;"><?php 
echo $recipe->name;
?>
</h1> 
     	 
     		<div style="float: right;">
     	 		<a href="<?php 

while ($row = MySQLConnection::fetch_object($result)) {
    $groups[] = $row;
}
//Get the servers in the default group
$servers_in_default_group = array();
$result = MySQLQueries::get_servers_by_groups(array());
while ($row = MySQLConnection::fetch_object($result)) {
    $servers_in_default_group[] = $row;
}
//Get recipes
$recipes = array();
$result = MySQLQueries::get_recipes();
while ($row = MySQLConnection::fetch_object($result)) {
    $recipes[] = $row;
}
Header::set_title("Commando.io - Execute");
Header::render(array("chosen", "codemirror"));
?>
	<div id="execute-working" class="progress progress-striped active">
  		<div class="bar" style="width: 100%;"></div>
	</div>
<?php 
Navigation::right('<li id="execute-results-jump" class="dropdown" style="display: none;">
	    			   		<a href="#" class="dropdown-toggle" data-toggle="dropdown">
	          					Jump To Results…
	          					<b class="caret"></b>
	    					</a>
	    					<ul class="dropdown-menu"></ul>
	    			   </li>');
Navigation::render("execute");
?>

require_once __DIR__ . "/markdown/markdown.php";
Functions::check_required_parameters(array($_GET['param1']));
//Get execution history record
$execution_history = null;
MongoConnection::connect();
MongoConnection::select_collection("executions");
$results = MongoConnection::find(array("_id" => new MongoId($_GET['param1'])));
MongoConnection::close();
foreach ($results as $result) {
    $result['executed'] = date(DATE_FORMAT, $result['executed']->sec + Functions::timezone_offset_in_seconds());
    $execution_history = $result;
}
if (empty($execution_history)) {
    Error::halt(404, 'not found', 'Execution history ID \'' . $_GET['param1'] . '\' does not exist.');
}
Header::set_title("Commando.io - View Execution History");
Header::render(array("code-pretty"));
Navigation::render("execute");
?>
 
    <div class="container main-container">
           
      <div class="row">
      	<div class="span12">
      		<h1 class="header" style="float: left;"><?php 
echo $execution_history['executed'];
?>
</h1> 
     	 
     	 	<div style="float: right;">
     	 		 <a href="<?php 

#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
*/
$_SERVER['SCRIPT_NAME'] !== "/controller.php" ? require_once __DIR__ . "/classes/Requires.php" : (Links::$pretty = true);
$db_version = Functions::get_db_version();
Header::set_title("Commando.io");
Header::render();
Navigation::render();
?>

 	<?php 
if ($db_version !== Version::db) {
    ?>
		<div class="alert alert-error fade in" style="position: fixed; top: 0px; right: 0px; left: 0px; z-index: 99999;">
			<a class="close" data-dismiss="alert">&times;</a>
			<h4 style="line-height: 25px;">Warning! The MySQL schema version running is <u>out of date</u>. Please run <a href="<?php 
    echo Links::render("db-upgrade");
    ?>
">db-upgrade</a> to merge in the latest changes.</h4>
		</div>
	<?php 

$servers = array();
$result = MySQLQueries::get_servers();
while ($row = MySQLConnection::fetch_object($result)) {
    if (isset($servers[$row->group_name])) {
        array_push($servers[$row->group_name], $row);
    } else {
        $servers[$row->group_name] = array($row);
    }
}
//Get groups
$groups = array();
$result = MySQLQueries::get_groups();
while ($row = MySQLConnection::fetch_object($result)) {
    $groups[] = $row;
}
Header::set_title("Commando.io - Servers");
Header::render(array("chosen", "code-pretty", "tagsinput"));
Navigation::render("servers");
?>
	<!-- add server modal -->
	<div class="modal fade" id="add-server" style="display: none;">
	  <div class="modal-header">
	    <a class="close" data-dismiss="modal">×</a>
	    <h3>Add Server</h3>
	  </div>
	  <div class="modal-body">
	    <form id="form-add-server" class="well form-horizontal" method="post" action="/actions/add_server.php">
	    	<div class="control-group">
	        	<label class="control-label" for="add-server-label">Server Label</label>
	        	<div class="controls">
	          		<input type="text" class="input-large" id="add-server-label" name="label" placeholder="SERVER-NAME" maxlength="30" />

# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
*/
$_SERVER['SCRIPT_NAME'] !== "/controller.php" ? require_once __DIR__ . "/classes/Requires.php" : (Links::$pretty = true);
//Get settings
$settings = null;
$result = MySQLQueries::get_settings();
$row = MySQLConnection::fetch_object($result);
if (isset($row->data)) {
    $row->data = json_decode($row->data);
}
$settings = $row;
$interpreters = array("shell", "bash", "perl", "python", "node.js");
Header::set_title("Commando.io - Add Recipe");
Header::render(array("chosen", "codemirror"));
Navigation::render("recipes");
?>
 
    <div class="container">
           
      <h1 class="header">Add Recipe</h1> 
      
	  <div class="row">
    	<div class="span12">
    		<div class="well">
    			<form id="form-add-recipe" class="well form-horizontal" method="post" action="/actions/add_recipe.php">
			    	<fieldset>
				    	<div class="control-group">
				        	<label class="control-label" for="recipe-name">Name</label>

# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
*/
$_SERVER['SCRIPT_NAME'] !== "/controller.php" ? require_once __DIR__ . "/classes/Requires.php" : (Links::$pretty = true);
//Get settings
$settings = null;
$result = MySQLQueries::get_settings();
$row = MySQLConnection::fetch_object($result);
if (isset($row->data)) {
    $row->data = json_decode($row->data);
}
$settings = $row;
$settings = Functions::format_dates($settings);
$interpreters = array("shell", "bash", "perl", "python", "node.js");
Header::set_title("Commando.io - Settings");
Header::render(array("chosen", "code-pretty"));
Navigation::render("settings");
?>
   
    <div class="container">
           
      <h1 class="header">Settings</h1> 
      
	  <div class="row">
    	<div class="span12">
    		<div class="well">
    			<?php 
if (isset($_GET['param1']) && $_GET['param1'] == "saved") {
    ?>
     

# Copyright 2012 NodeSocket, LLC
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
*/
$_SERVER['SCRIPT_NAME'] !== "/controller.php" ? require_once __DIR__ . "/classes/Requires.php" : (Links::$pretty = true);
Header::set_title("Commando.io - Files");
Header::render();
Navigation::render("files");
?>
    
    <div class="container">
           
      <h1 class="header">Files</h1> 
      
	  <div class="row">
   	  	<div class="span12">
   	  		<div id="upload-box-container" class="well">
   	  			<div id="upload-box">
   	  				<div class="progress progress-striped active" style="display: none; margin-bottom: 10px;">
   	  					<div class="bar" style="width: 0%;"></div>
   	  				</div>

        $code_pretty_lang = "lang-sh";
        break;
    case 'bash':
        $code_pretty_lang = "lang-bsh";
        break;
    case 'node.js':
        $code_pretty_lang = "lang-js";
        break;
    case 'perl':
        $code_pretty_lang = "lang-perl";
        break;
    case 'python':
        $code_pretty_lang = "lang-py";
        break;
}
Header::set_title("Commando.io - View Recipe");
Header::render(array("chosen", "code-pretty"));
Navigation::render("recipes");
?>
 
    <div class="container">
           
      <div class="row">
      	<div class="span12">
      		<h1 class="header" style="float: left;"><?php 
echo $recipe->name;
?>
</h1> 
     	 
     	 	<div style="float: right;">
     	 		 <a class="btn btn-large disabled"><?php 

//Get recipes
$recipes = array();
$result = MySQLQueries::get_recipes();
while ($row = MySQLConnection::fetch_object($result)) {
    //Calculate Statistics
    $row->lines = substr_count($row->content, "\n") + 1;
    $row->length = Functions::format_bytes(strlen($row->content));
    $recipes[$row->id] = $row;
}
//Get number of versions for all recipes
$result = MySQLQueries::get_number_of_recipe_versions();
while ($row = MySQLConnection::fetch_object($result)) {
    $recipes[$row->id]->number_of_versions = $row->count;
}
$recipes = Functions::format_dates($recipes);
Header::set_title("Commando.io - Recipes");
Header::render();
Navigation::render("recipes");
?>
    
    <div class="container">
           
      <h1 class="header">Recipes</h1> 
      
	  <div class="row">
   	  	<div class="span12">
   	  		<div class="well">
   	  			<a href="<?php 
echo Links::render("add-recipe");
?>
" class="btn btn-primary btn-large"><i class="icon-plus-sign icon-white"></i> Add Recipe</a>

# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
*/
$_SERVER['SCRIPT_NAME'] !== "/controller.php" ? require_once __DIR__ . "/classes/Requires.php" : (Links::$pretty = true);
//Get groups
$groups = array();
$result = MySQLQueries::get_groups();
while ($row = MySQLConnection::fetch_object($result)) {
    $groups[] = $row;
}
Header::set_title("Commando.io - Groups");
Header::render();
Navigation::render("groups");
?>
	<!-- add group modal -->
	<div class="modal fade" id="add-group" style="display: none;">
	  <div class="modal-header">
	    <a class="close" data-dismiss="modal">×</a>
	    <h3>Add Group</h3>
	  </div>
	  <div class="modal-body">
	    <form id="form-add-group" class="well form-horizontal" method="post" action="/actions/add_group.php">
	    	<div class="control-group">
	        	<label class="control-label" for="add-group-name">Group Name</label>
	        	<div class="controls">
	          		<input type="text" class="input-large" id="add-group-name" name="name" placeholder="GROUP NAME" maxlength="25" />

    $file['data'] = $result->getResource();
}
if (empty($file)) {
    Error::halt(404, 'not found', 'File \'' . $_GET['param1'] . '\' does not exist.');
}
$data = null;
if (strpos($file['type'], 'text') !== false || $file['type'] === "application/json") {
    while (!feof($file['data'])) {
        $data .= fread($file['data'], 8192);
    }
}
$file['data'] = $data;
//Calculate Statistics
$file['lines'] = substr_count($file['data'], "\n") + 1;
$file['length'] = Functions::format_bytes($file['length']);
Header::set_title("Commando.io - View File");
Header::render(array("code-pretty", "codemirror"));
Navigation::render("files");
?>
 
    <div class="container main-container" data-id="<?php 
echo $_GET['param1'];
?>
">
           
      <div class="row">
      	<div class="span12">
      		<h1 class="header" style="float: left;"><?php 
echo $file['real_filename'];
?>
</h1>