38 : void
39 {
40 $ini = $environment->getResource(
Setup\Environment::RESOURCE_ILIAS_INI);
41 $client_ini = $environment->getResource(
Setup\Environment::RESOURCE_CLIENT_INI);
42 $storage->storeStableBool(
43 "is_installed",
44 $ini !==
null && $client_ini !==
null,
45 "Are there any indications an installation was performed?"
46 );
47 $client_id = $environment->getResource(
Setup\Environment::RESOURCE_CLIENT_ID);
49 $storage->storeConfigText(
50 "client_id",
52 "Id of the ILIAS client."
53 );
54 }
55 $settings_factory = $environment->getResource(
Setup\Environment::RESOURCE_SETTINGS_FACTORY);
56 if ($settings_factory) {
57 $common_settings = $settings_factory->settingsFor("common");
58 $nic_enabled = $common_settings->get("nic_enabled") == "1";
59 $storage->storeStableBool(
60 "nic_enabled",
61 $nic_enabled,
62 "Is the installation registered at the ILIAS NIC server?"
63 );
64 if ($nic_enabled) {
65 $storage->storeConfigText(
66 "inst_id",
67 $common_settings->get("inst_id"),
68 "The id of the installation as provided by the ILIAS NIC server."
69 );
70 }
71 }
72 }