log.php: Ensure 'line' is an integer. Helps with #2466

This commit is contained in:
Matthew Noorenberghe 2019-02-10 00:10:39 -08:00
parent a6ee79f428
commit c8e41bfee7
1 changed files with 1 additions and 1 deletions

View File

@ -15,7 +15,7 @@ switch ( $_REQUEST['task'] ) {
$file = !empty($_POST['file']) ? preg_replace( '/\w+:\/\/[\w.:]+\//', '', $_POST['file'] ) : '';
if ( !empty( $_POST['line'] ) )
$line = $_POST['line'];
$line = validInt($_POST['line']);
else
$line = NULL;