Вопросы по теме 'termination'

Захват завершения процесса (диспетчер задач) в WPF
У меня есть приложение WPF. Когда приложение закрывается, я выполняю некоторые действия по обновлению/вставке в базу данных, которые являются обязательными для моего приложения. Но если мое приложение принудительно закрывается путем уничтожения...
1437 просмотров
schedule 11.06.2023

Завершить пакетный файл с другим пакетом
Кто-нибудь знает, как убить пакетный файл с другим пакетным файлом? Сценарий: пакетный файл №1 выполняется (или зацикливается) в фоновом режиме. Пока № 1 находится в фоновом режиме, отдельный (не с пакетным файлом № 1) пакетный файл активируется...
2392 просмотров
schedule 10.04.2024

Как реализовать изящное завершение в Java?
Скажем, например, у меня есть приложение, работающее в терминале Linux, и я нажимаю «CTRL + C» на клавиатуре, чтобы убить процесс, который завершит программу Java. Есть ли способ поймать этот «запрос» в моем приложении Java, чтобы я мог изящно...
5287 просмотров
schedule 20.12.2022

Как доказать прекращение длины рекурсивного списка?
Допустим, у нас есть список: List = nil | Cons(car cdr:List). Обратите внимание, что я говорю о списках, которые можно изменять! И тривиальная рекурсивная функция длины: recursive Length(List l) = match l with | nil => 0 |...
418 просмотров

Прекращение TLS: повторное шифрование с использованием целевого CACertificate
Я создал приложение с маршрутом к нему с помощью OpenShift Origin. Теперь я хочу сделать этот маршрут безопасным с помощью TLS: я уже создал маршруты с границей и транзитом. Но теперь я хочу создать маршрут, использующий Reencrypt. Поэтому мне...
1226 просмотров
schedule 29.11.2022

Ошибка цикла while с методом Netwon-Raphson
Я пытаюсь найти применение методу Ньютона-Рафсона, чтобы найти корни. Он делает это, делая предположение, а затем улучшая предположение после каждой итерации, пока вы не получите один из нулей. Поскольку метод Ньютона-Рафсона быстро находит нули,...
764 просмотров

Научить coq проверять терминацию
Coq, в отличие от многих других, принимает необязательный явный параметр, который можно использовать для указания убывающей структуры определения фиксированной точки. Из спецификации Gallina, 1.3.4, Fixpoint ident params {struct ident0 } :...
675 просмотров
schedule 15.03.2022

Как получить байты, включая нулевой символ завершения, из строки?
Привет StackOverflowers, Я где-то читал, что строка С# не заканчивается нулем. М хорошо ! Но я хотел бы знать, если метод: byte[] myBytes = Encoding.ASCII.GetBytes(myString); добавить нулевой символ завершения в конец массива или мне...
3679 просмотров
schedule 05.04.2023