loader: update because `ini[]` does return nullable
authorJean Privat <jean@pryen.org>
Fri, 28 Aug 2015 16:38:31 +0000 (12:38 -0400)
committerJean Privat <jean@pryen.org>
Fri, 28 Aug 2015 20:47:45 +0000 (16:47 -0400)
Signed-off-by: Jean Privat <jean@pryen.org>

src/loader.nit

index bde4ae2..9b511a9 100644 (file)
@@ -446,8 +446,7 @@ redef class ModelBuilder
                var mgroup
                if parent == null then
                        # no parent, thus new project
-                       var namekey = "project.name"
-                       if ini != null and ini.has_key(namekey) then pn = ini[namekey]
+                       if ini != null then pn = ini["project.name"] or else pn
                        var mproject = new MProject(pn, model)
                        mgroup = new MGroup(pn, mproject, null) # same name for the root group
                        mproject.root = mgroup