h-east 17b695190d patch 9.0.1504: no error when calling remote_startserver("") ...

Problem:    No error when calling remote_startserver() with an empty string.
Solution:   Give an error for an empty string. (Hirohito Higashi,
            closes #12327)

2023-05-01 22:36:56 +01:00

24 KiB

Raw Blame History

View Raw