From 8404f8e171b4c7835170c8b1fdcac25c23cd2bb3 Mon Sep 17 00:00:00 2001
From: gregorecruzeiro <degloriocg@gmail.com>
Date: Thu, 25 Apr 2019 12:29:39 -0300
Subject: [PATCH] Update house.php (#359)

Fixed undefined index id when accessing house.php directly.
---
 house.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/house.php b/house.php
index 63d768c..189efa9 100644
--- a/house.php
+++ b/house.php
@@ -3,7 +3,7 @@ if ($config['log_ip']) {
 	znote_visitor_insert_detailed_data(3);
 }
 
-$house = getValue($_GET['id']);
+$house = (isset($_GET['id']) && (int)$_GET['id'] > 0) ? (int)$_GET['id'] : false;
 
 if ($house !== false && $config['ServerEngine'] === 'TFS_10') {
 	$house = mysql_select_single("SELECT `id`, `owner`, `paid`, `name`, `rent`, `town_id`, `size`, `beds`, `bid`, `bid_end`, `last_bid`, `highest_bidder` FROM `houses` WHERE `id`='$house';");
@@ -149,4 +149,4 @@ if ($house !== false && $config['ServerEngine'] === 'TFS_10') {
 	<p>Go back to the <a href="houses.php">house list</a> and select a house for further details.</p>
 	<?php
 }
-include 'layout/overall/footer.php'; ?>
\ No newline at end of file
+include 'layout/overall/footer.php'; ?>