Difference between revisions of "Serve.cfg:language:default disabled"

From EjudgeWiki
 
(...)
 
Line 1: Line 1:
 
Навигация: [[Main Page|Главная страница]]/[[Система ejudge]]/[[Использование]]/[[Конфигурационные файлы]]/[[serve.cfg]]/[[serve.cfg:language|Конфигурационные параметры языков]]/<code>[[Serve.cfg:language:default_disabled|default_disabled]]</code>
 
Навигация: [[Main Page|Главная страница]]/[[Система ejudge]]/[[Использование]]/[[Конфигурационные файлы]]/[[serve.cfg]]/[[serve.cfg:language|Конфигурационные параметры языков]]/<code>[[Serve.cfg:language:default_disabled|default_disabled]]</code>
  
 +
Если данный конфиграционный параметр установлен в положительное значение, соответствующий язык не
 +
импортируется в турнир в режиме
 +
[[Улучшенная поддержка серверов компиляции|улучшенной поддержке серверов компиляции]]
 +
при указании директивы
 +
 +
language_import = "enable all"
 +
 +
Данный язык потребуется импортировать явно.
 +
 +
Данный конфигурационный параметр предназначен для использования в конфигурационном файле сервера
 +
компиляции [[ej-compile]]. В конфигурационном файле турнира [[Serve.cfg]] он игнорируется.
 +
 +
Пример:
 +
 +
[language]
 +
id = 77
 +
short_name = "custom"
 +
long_name = "Custom"
 +
default_disabled
  
 
Поддерживается начиная с версии [[изменения в версии 3.13.0|3.13.0]].
 
Поддерживается начиная с версии [[изменения в версии 3.13.0|3.13.0]].

Latest revision as of 07:37, 29 December 2024

Навигация: Главная страница/Система ejudge/Использование/Конфигурационные файлы/serve.cfg/Конфигурационные параметры языков/default_disabled

Если данный конфиграционный параметр установлен в положительное значение, соответствующий язык не импортируется в турнир в режиме улучшенной поддержке серверов компиляции при указании директивы

language_import = "enable all"

Данный язык потребуется импортировать явно.

Данный конфигурационный параметр предназначен для использования в конфигурационном файле сервера компиляции ej-compile. В конфигурационном файле турнира Serve.cfg он игнорируется.

Пример:

[language]
id = 77
short_name = "custom"
long_name = "Custom"
default_disabled

Поддерживается начиная с версии 3.13.0.