changeset 8:218d34ec7874

added: EXTRA_TIME added: EXTRA_TIME
author Sushi-k <epgrec@park.mda.or.jp>
date Thu, 09 Jul 2009 19:46:56 +0900
parents 6d334d32b657
children 500c7fbb46aa
files Reservation.class.php config.php.sample
diffstat 2 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/Reservation.class.php	Thu Jul 09 19:15:46 2009 +0900
+++ b/Reservation.class.php	Thu Jul 09 19:46:56 2009 +0900
@@ -45,7 +45,7 @@
 		
 		// 時間を計算
 		$start_time = toTimestamp( $starttime );
-		$end_time = toTimestamp( $endtime );
+		$end_time = toTimestamp( $endtime ) + EXTRA_TIME;
 		
 		if( $start_time < (time() + PADDING_TIME + 10) ) {	// 現在時刻より3分先より小さい=すでに開始されている番組
 			$start_time = time() + PADDING_TIME + 10;		// 録画開始時間を3分10秒先に設定する
--- a/config.php.sample	Thu Jul 09 19:15:46 2009 +0900
+++ b/config.php.sample	Thu Jul 09 19:46:56 2009 +0900
@@ -66,6 +66,8 @@
 define( "USE_KUROBON", false );						// BSチューナーとしてFriio BS/CSを使うならtrue
 
 define( "FORMER_TIME", 20 );						// 予約実行を行う前に取る余裕時間(秒)
+define( "EXTRA_TIME", 10 );										// この秒数だけ録画時間を長めに取る
+
 define( "FORCE_CONT_REC", false );					// 終了時間を調節して連続する番組の予約を行う
 define( "REC_SWITCH_TIME", 5 );						// レコーダーの切り替え余裕時間