diff options
| author | 2016-09-11 11:52:06 +0200 | |
|---|---|---|
| committer | 2016-09-11 11:52:06 +0200 | |
| commit | 2757aeca52c204d6c9182fb99229e7e37dd09213 (patch) | |
| tree | 9f8ffb90da0f67d20838bb5aa58a7a504af81113 /app/install.php | |
| parent | 9f04e2bf3246ec5a65280908f017533d6f622a88 (diff) | |
| parent | c3589cac2d41501af1bd916c4689cf1ea4b58038 (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.php | 2 |
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> |
