aboutsummaryrefslogtreecommitdiff
path: root/app/install.php
diff options
context:
space:
mode:
authorGravatar Alexandre Alapetite <alexandre@alapetite.fr> 2016-09-11 11:52:06 +0200
committerGravatar Alexandre Alapetite <alexandre@alapetite.fr> 2016-09-11 11:52:06 +0200
commit2757aeca52c204d6c9182fb99229e7e37dd09213 (patch)
tree9f8ffb90da0f67d20838bb5aa58a7a504af81113 /app/install.php
parent9f04e2bf3246ec5a65280908f017533d6f622a88 (diff)
parentc3589cac2d41501af1bd916c4689cf1ea4b58038 (diff)
Merge dev: custom ports for PostgreSQL too
https://github.com/FreshRSS/FreshRSS/issues/1241 https://github.com/FreshRSS/FreshRSS/pull/1244
Diffstat (limited to 'app/install.php')
-rw-r--r--app/install.php2
1 files changed, 1 insertions, 1 deletions
diff --git a/app/install.php b/app/install.php
index db16ca6b1..7f4e65034 100644
--- a/app/install.php
+++ b/app/install.php
@@ -725,7 +725,7 @@ function printStep3() {
<div class="form-group">
<label class="group-name" for="host"><?php echo _t('install.bdd.host'); ?></label>
<div class="group-controls">
- <input type="text" id="host" name="host" pattern="[0-9A-Za-z_.-]{1,64}" value="<?php echo isset($_SESSION['bd_host']) ? $_SESSION['bd_host'] : $system_default_config->db['host']; ?>" tabindex="2" />
+ <input type="text" id="host" name="host" pattern="[0-9A-Za-z_.-]{1,64}(:[0-9]{2,5})?" value="<?php echo isset($_SESSION['bd_host']) ? $_SESSION['bd_host'] : $system_default_config->db['host']; ?>" tabindex="2" />
</div>
</div>