diff options
author | visciang <[email protected]> | 2017-01-26 11:18:12 +0100 |
---|---|---|
committer | Siri Hansen <[email protected]> | 2017-01-26 11:18:12 +0100 |
commit | 15dd52f771314b6eade47314afcd8b3206c694b1 (patch) | |
tree | 1f3a9fd6dc693de52f30e968d56748880399aedd /bin/.gitignore | |
parent | cd4a95b0abb45f07eef8a77991c2be8f5dea575e (diff) | |
download | otp-15dd52f771314b6eade47314afcd8b3206c694b1.tar.gz otp-15dd52f771314b6eade47314afcd8b3206c694b1.tar.bz2 otp-15dd52f771314b6eade47314afcd8b3206c694b1.zip |
Fix observer application crash (#1296)
Fix observer application crash
When clicking an HTML-link to a port before the port tab has been opened for the first time, observer would crash since port info is not initiated. This is now corrected.
Also, when clicking on an HTML link to a port, and the port does not exist,
then pop up an info dialog saying "No such port".
OTP-14151
Diffstat (limited to 'bin/.gitignore')
0 files changed, 0 insertions, 0 deletions