Untitled

while ($user_number<=$user_limit)
{
	$timestamp_file = "$host/$user_number/timestamp.txt";
	$c = fopen($timestamp_file, "r");
	$timestamp = fgets($c, 11);
	fclose($c);
	$timestamp = $timestamp + 900;
	$mechstamp = time();

	if ($mechstamp>$timestamp){	//more than 30 mins has passed since last upload
		$dotstatus[$user_number] = 0;
		$dot[$user_number] = "silent_dot";
	}
	else{
		$dotstatus[$user_number] = 1;
		$dot[$user_number] = "recording_dot";
		echo $dot[$user_number];
		echo $user_number;
	}
	
	$user_number = $user_number + 1;
}

echo $dot1;