mirror of
https://github.com/DBDiff/DBDiff.git
synced 2026-04-25 05:15:49 +03:00
[PR #55] If port is not set on server, it would show a PHP warning #115
Labels
No labels
bug
enhancement
good first issue
help wanted
pull-request
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
starred/DBDiff#115
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Original Pull Request: https://github.com/DBDiff/DBDiff/pull/55
State: closed
Merged: No
When running the command like this:
It would throw a PHP warning:
PHP Notice: Undefined offset: 1 in /var/www/DBDiff/src/Params/CLIGetter.php on line 60
PHP Stack trace:
PHP 1. {main}() /var/www/DBDiff/dbdiff:0
PHP 2. DBDiff\DBDiff->run() /var/www/DBDiff/dbdiff:8
PHP 3. DBDiff\Params\ParamsFactory::get() /var/www/DBDiff/src/DBDiff.php:19
PHP 4. DBDiff\Params\CLIGetter->getParams() /var/www/DBDiff/src/Params/ParamsFactory.php:13
PHP 5. DBDiff\Params\CLIGetter->parseServer() /var/www/DBDiff/src/Params/CLIGetter.php:31
Notice: Undefined offset: 1 in /var/www/DBDiff/src/Params/CLIGetter.php on line 60
Call Stack:
0.0004 221848 1. {main}() /var/www/DBDiff/dbdiff:0
0.0642 884144 2. DBDiff\DBDiff->run() /var/www/DBDiff/dbdiff:8
0.0662 892920 3. DBDiff\Params\ParamsFactory::get() /var/www/DBDiff/src/DBDiff.php:19
0.0702 930520 4. DBDiff\Params\CLIGetter->getParams() /var/www/DBDiff/src/Params/ParamsFactory.php:13
0.1079 1202096 5. DBDiff\Params\CLIGetter->parseServer() /var/www/DBDiff/src/Params/CLIGetter.php:31
[PR #55] [CLOSED] If port is not set on server, it would show a PHP warningto [PR #55] If port is not set on server, it would show a PHP warning