Fixed null pointer issue with travel terminals when coming from a bad city.

2026-09-28 14:13:01 -04:00 · 2016-05-23 14:57:28 +01:00
parent eafdeef933
commit d145d9d7f1
1 changed files with 1 additions and 1 deletions
@@ -676,7 +676,7 @@ public class travel extends script.base_script
    }
    public static obj_id getStarportFromTerminal(obj_id terminal) throws InterruptedException
    {
-        if (terminal == null || terminal == obj_id.NULL_ID)
+        if (terminal == null || terminal == obj_id.NULL_ID || !isIdValid(terminal))
        {
            return null;
        }