gps_socketbackhoeCttmp

File "index.php"

Full path: /www/gps_socket/backhoeCt/tmp/index.php
File size: 7.28 KiB (7450 bytes)
MIME-type: text/html
Charset: utf-8

Download   Open   Back 

<!DOCTYPE html>
<html lang="ja">
  <head>
    <meta charset="utf-8">
    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <meta http-equiv="Pragma" content="no-cache">
    <meta http-equiv="Cache-Control" content="no-cache">
    <title>バックホウ</title>
    <!-- css -->
    <link href="https://stackpath.bootstrapcdn.com/bootstrap/4.1.3/css/bootstrap.min.css" rel="stylesheet" crossorigin="anonymous">
    <link href="https://code.jquery.com/ui/1.12.1/themes/base/jquery-ui.css" rel="stylesheet" crossorigin="anonymous">
    <link href="https://use.fontawesome.com/releases/v5.0.6/css/all.css" rel="stylesheet">
    <!-- page org style -->
    <link href="./style/basic2.css" rel="stylesheet">
  </head>

  <body>


<?php //print date("H:i:s",time()) ."(テスト表示用)"; ?>
	
    <!-- Main Contents -->
    <main>
      <div class="container-fluid">
        <!-- page header -->
        <div class="row mb-2">
          <div class="col-12">
            <div class="title p-2 border rounded text-center"><FONT SIZE='6'>バックホウ</FONT></div>
          </div>
        </div>

<?php

EXTRACT($_POST);
//print_r($_POST);

//
$ct_flag_file_path = "/www/gps_socket/backhoeCt/ct_start_flag.txt";
$terminal_data = explode(',',file_get_contents("/www/gps_socket/backhoeCt/use_terminal.txt"));

//●ファイルを保存するディレクトリ
$save_dir = "/www/gps_socket/backhoeCt/data/";

if($_POST[terminal1])
{
	file_put_contents("/www/gps_socket/backhoeCt/use_terminal.txt", $_POST[terminal1] ."," .$terminal_data[1]  ,LOCK_EX);
}

if($_POST[terminal2])
{
	file_put_contents("/www/gps_socket/backhoeCt/use_terminal.txt", $terminal_data[0] ."," .$_POST[terminal2]  ,LOCK_EX);
}

$terminal_data = array();
$terminal_data = explode(',',file_get_contents("/www/gps_socket/backhoeCt/use_terminal.txt"));



//$ct_flag_file_path = file_get_contents("/www/gps_socket/backhoeCt/ct_start_flag.txt");

if($_POST['p_start'])
{
	file_put_contents($ct_flag_file_path, "1" ,LOCK_EX);
}


if($_POST['p_stop'])
{
	file_put_contents($ct_flag_file_path, "0" ,LOCK_EX);

	//カウント開始時のファイル名のリセット
	file_put_contents("/www/gps_socket/backhoeCt/ct_start_filename.txt","" , LOCK_EX);
	file_put_contents("/www/gps_socket/backhoeCt/ct_flag.txt","0" , LOCK_EX);
}

$ct_flag = file_get_contents($ct_flag_file_path);

$status =($ct_flag)? '実行中' : '停止中';
$button =($ct_flag)? 'disabled' : '';


print "<h4>■バックホウ旋回数カウント実行</h4>";

print "<form name='program' enctype='multipart/form-data' action='$_SERVER[PHP_SELF]' method='post'>";
print "<TABLE BORDER='0'>";
print "<TR><TD>";
print "使用端末1：";
print "</TD>";
print "<TD>";
print $terminal_data[0];
print "</TD>";
print "<TD>";
print "<select name='terminal1' " .$button .">";
print "<option></option>";
print "<option>lc10546</option>";
print "<option>lc2473</option>";
print "<option>lc2389</option>";
print "<option>lc2733</option>";
print "<option>lc1949</option>";
print "<option>lc2355</option>";
print "</select>";
print "</TD>";
print "<TD>";
print "<INPUT TYPE='submit' NAME='terminal_update1' VALUE='変更' style='width:50px;'" .$button .">";
//lc10546","lc2473","lc2389","lc2733","lc1949","lc2355
print "</form>";
print "<form name='program' enctype='multipart/form-data' action='$_SERVER[PHP_SELF]' method='post'>";
print "</TD></TR>";

print "<TR><TD>";
print "使用端末2：";
print "</TD>";
print "<TD>";
print $terminal_data[1];
print "</TD>";
print "<TD>";
print "<select name='terminal2' " .$button .">";
print "<option></option>";
print "<option>lc10546</option>";
print "<option>lc2473</option>";
print "<option>lc2389</option>";
print "<option>lc2733</option>";
print "<option>lc1949</option>";
print "<option>lc2355</option>";
print "</select>";
print "</TD>";
print "<TD>";
print "<INPUT TYPE='submit' NAME='terminal_update2' VALUE='変更' style='width:50px;'" .$button .">";
print "</TD></TR>";
print "</form>";

print "<form name='program' enctype='multipart/form-data' action='$_SERVER[PHP_SELF]' method='post'>";
print "<TR><TD>";
print "動作状態：";
print "</TD>";
print "<TD>";
print $status;
print "</TD></TR>";
print "<TR><TD>";
print "<INPUT TYPE='submit' NAME='p_start' VALUE='計測開始' style='width:100px;'>";
print "</TD>";
print "<TD>";
print "<INPUT TYPE='submit' NAME='p_stop' VALUE='停止' style='width:100px;'>";
print "</TD>";
print "<TD>";
print "</TD>";
print "</TR>";
print "</form>";


print "</TABLE>";




			
		//現在のフォルダ名をIDとして使用
		$path = explode("/" ,getcwd());
		$ct = count($path) -1;
		$id =1;

		$imgFileName = "view_map_ct.php?id=".$id;
		print "<SCRIPT LANGUAGE='JavaScript'>";
		print "function RefreshImg(URL_,id)";
		print "{";
		print "console.log(" .URL_ .");";
		print "uniq = new Date();";
		print "uniq = \"?\"+ \"id=\" + id +\"&\" +uniq.getTime();";
		print "newImage = document.imgToLoad.src;";
		print "index = newImage.indexOf(\"?\", 0);";
		print "		    if (index > 0)";
		print "		        {";
		print "		            newImage = newImage.substr(0, index);";
		print "		        }";
		print "		        document.imgToLoad.src = '" .$imgFileName ."'+uniq;";
		print "}";
		print "</SCRIPT>";
		print "</head>";

if($ct_flag)
{
//		print "<div style='height:710px;  overflow-y:scroll;'>";
		print "<IMG SRC='" .$imgFileName ."' align='top' ALT='LiveCamera' name=imgToLoad onload='setTimeout(\"RefreshImg(0,$id)\", 500)' onerror='setTimeout(\"RefreshImg(0,$id)\", 500)' onabort='setTimeout(\"RefreshImg(0,$id)\", 500)' id=imgToLoad naturalsizeflag=0>";
//		print "</div>";
}
else
{
		print "<IMG SRC='" .$imgFileName ."' align='top' ALT='LiveCamera'>";
}


//●対象のフォルダを開く(アップロードしたファイルのあるフォルダ)
$res_dir = opendir($save_dir);
$i = 0;

print "<h4>■ファイルダウンロード</h4>";

//●フォルダ内のファイルの情報(名前､サイズ､ファイルのアクセス時刻)を１つずつを取得
while( $file_name = readdir($res_dir) )
{
	//取得したファイル名を表示
	if(strpos($file_name,"."))
	{
		//$file_data[$i][0] = mb_convert_encoding($file_name,$enc_file, $enc_disp);
		$file_data[$i][0] = $file_name;
		$file_data[$i][1] =filesize($save_dir .$file_name)/1000 ;
		$file_data[$i][2] = fileatime($save_dir .$file_name);		//ファイルのアクセス時刻取得
		$i += 1;
	}
}

foreach($file_data as $key => $row)
{
	$foo[$key] = $row["2"]; 
}
array_multisort($foo,SORT_DESC,$file_data);

//●フォルダ内のファイル数を設定(ダウンロードできるファイルの数)
$ct = count($file_data);
closedir($res_dir);


//●ダウンロード出来るファイルの一覧
//ファイル名がリンクになり､クリックするとダウンロード処理を行う
//ダウンロード処理はdownload.phpで行う

print "<TABLE BORDER='3'>";
print "<TR ALIGN='center'><TD>ファイル名</TD><TD>サイズ(KB)</TD></TR>";

//●ファイル数の数だけ処理を繰り返す
for($ii = 0; $ii < $ct;$ii++)
{
	//●ダウンロード処理を行うプログラムに必要な情報を付加するリンクを作成する
	print "<TR><TD><A HREF='download.php?f=" .$file_data[$ii][0] ."'>" .$file_data[$ii][0] ."</A></TD><TD ALIGN='right'>" .$file_data[$ii][1] ."</TD></TR>";
}
print "</TABLE>";

		?>
    </main>
  </body>
</html>

PHP File Manager