diff options
| author | 2016-09-05 21:09:15 +0200 | |
|---|---|---|
| committer | 2016-09-05 21:09:15 +0200 | |
| commit | 0564f5e1c4d85d34ec14a493dfa529fb724878d1 (patch) | |
| tree | c71c791f3e2701f16c9a53d5e32c218eac7a867c /app/install.php | |
| parent | 03211453704e90c85d5da3a9ef0553e49886de59 (diff) | |
Support custom MySQL ports
https://github.com/FreshRSS/FreshRSS/issues/1241
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 62695ceb6..dad3535dc 100644 --- a/app/install.php +++ b/app/install.php @@ -716,7 +716,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> |
