+
+# A special internal request: output own API version
+if ($help_key eq 'API')
+{
+ print "$cin_cm_api\n";
+ exit 0;
+}
+
+# If a system (not user's) script instance is executed, and the API versions
+# of both scripts do not match, then copy the system script to the user's one
+# (making a backup copy of the latter). Then execute it with the same key.
+if ($0 ne $me_config)
+{
+ $me_api = 0;
+ $me_api = `\"$me_config\" API` if -x $me_config;
+ if ($me_api != $cin_cm_api)
+ {
+ print "ContextManual: copying \"$0\" to \"$me_config\"\n";
+ unlink "$me_config.bak" if -f "$me_config.bak";
+ rename "$me_config", "$me_config.bak" if -f $me_config;
+ system "cp \"$0\" \"$me_config\"";
+ system "chmod +x \"$me_config\"";
+ }
+ exec "\"$me_config\" \"$help_key\"" if -x $me_config;
+}
+
+# If a user's script instance is executed, do everything by myself
+#print "ContextManual: executing \"$0\" \"$help_key\"\n";
+