Mirrors/dokku
1
0
Fork 0
mirror of https://github.com/dokku/dokku.git synced 2025-12-28 16:06:40 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #701 from jazzzz/fix-key-format

Browse Source 
Fixed key format check
This commit is contained in:
Jose Diaz-Gonzalez
2014-10-02 18:34:15 -04:00
parent a69f63c98c 42df908c65
commit e1740cda18
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
plugins/config/commands
View File

@@ -123,7 +123,7 @@ case "$1" in
KEY=`echo ${var} | cut -d"=" -f1`
VALUE=`echo ${var} | cut -d"=" -f2-`
if [[ $KEY == [a-zA-Z_][a-zA-Z0-9_]* ]]; then
if [[ $KEY =~ [a-zA-Z_][a-zA-Z0-9_]* ]]; then
RESTART_APP=true
ENV_TEMP=$(echo -e "${ENV_TEMP}" | sed "/^export $KEY=/ d")
ENV_TEMP="${ENV_TEMP}\nexport ${var}"