Вопросы по теме 'termination'
Функция C++ TerminateProcess
Я искал примеры функции Win32 API C++ TerminateProcess. () , но ничего не нашел.
Я не так хорошо знаком с Win32 API в целом, поэтому я хотел спросить, может ли кто-нибудь, кто разбирается в этом лучше меня, показать мне пример для,
Получение...
41135 просмотров
schedule
16.05.2023
Наблюдайте за выходом другого приложения или внезапным прекращением работы в приложении какао
Мне нужно создать оболочку вокруг приложения, поэтому я создал небольшое приложение какао, которое открывает приложение с помощью [[NSWorkspace sharedWorkspace] launchApplication:…] , могу ли я зарегистрировать какое-то событие, когда это приложение...
682 просмотров
schedule
25.12.2022
Веб-сервер ASP.NET имеет проблемы только с HTTPS Chrome
Итак, на моей работе мы переносим терминацию SSL с веб-сервера на балансировщик нагрузки. Затем балансировщик нагрузки передает запрос на сервер с установленным флагом, указывающим, что соединение должно быть безопасным.
У нас нет абсолютно...
1135 просмотров
schedule
03.02.2023
^ M Персонаж отображается в clojure slime-repl
Каждый (println...) в моем коде приводит к появлению завершающего символа ^ M в REPL. У меня lein swank работает в отдельном окне, и я подключился через M-x slime-connect
Я думаю, что это может быть та же проблема, что и Emacs показывает ^...
549 просмотров
schedule
15.09.2022
Завершение проверки функции по дереву
Мне трудно убедить Agda выполнить проверку завершения функции fmap ниже и аналогичных функций, определенных рекурсивно в структуре Trie . Trie - это дерево , домен которого является Type , тип уровня объекта, состоящий из единицы, продуктов...
181 просмотров
schedule
18.05.2023
Событие приложения WinPhone для реакции на завершение процесса приложения
Когда мы деактивируем приложение WP, оно может быть удалено и остановлено ОС позже. Мне нужно сохранить некоторые несохраненные данные приложения в постоянном хранилище после завершения процесса, но не раньше. Очевидно, что событие Deactivated не...
83 просмотров
schedule
13.04.2022
Как различать разные причины завершения работы приложения в Какао?
Я хотел бы, чтобы мое приложение запрашивало подтверждение перед закрытием, кроме , когда оно прерывается системой во время выключения или перезапуска (потому что, когда OS X пытается применить обновления безопасности в полночь, он застревает на "Are...
276 просмотров
schedule
19.11.2022
Пользователь принудительно завершает работу приложения: регистрация этого события
В моем приложении я использую фоновые службы, поэтому метод applicationWillTerminate: не будет вызываться, когда пользователь завершит работу приложения. Вместо этого метод applicationDidEnterBackground: вызывается, когда пользователь переводит...
148 просмотров
schedule
06.06.2023
Как завершается NSString / NSMutableString?
В Objective C у меня есть NSMutableString , и я обращаюсь к его символам, используя метод characterAtIndex: для некоторых манипуляций.
Для этого мне также нужно проверить завершающий символ примерно так:
NSMutableString *str =...
103 просмотров
schedule
21.09.2022
Чтение младшего бита указателя таким образом, чтобы *вероятно* работало на как можно большем количестве систем.
Кажется, что младший бит указателей, равный 0, является более или менее довольно переносимым (где переносимость, очевидно, не означает «стандартный», но людям это сходит с рук, и в некоторых случаях они могут использовать это с некоторым...
98 просмотров
schedule
30.05.2024
Программа Lua-Love не закрывает устройства, как я ожидаю
У меня есть программа любви lua:
conf-nogui.lua (вызывается внутри conf.lua, чтобы не отображать графический интерфейс):
function love.conf(t)
print("Switch GUI window off")
t.window = nil
end
main.lua:
-- UDP Server
local socket =...
240 просмотров
schedule
22.11.2022
Программа Python прекращена из-за тайм-аута
Я пытаюсь решить вопрос от hackerrank, и когда я отправляю свое решение, я получаю сообщение об ошибке «Прекращено из-за тайм-аута».
Пожалуйста, проверьте код и предложите мне, как его оптимизировать.
Утверждение: у вас есть пустая...
2771 просмотров
schedule
24.11.2022
Python, запустите программу .py и завершите предыдущую программу
Я хотел бы запустить программу python из другой программы python и одновременно выйти из предыдущей программы.
Вот что я сделал:
if(self.start_button.pression==1):
os.system('python program_to_launch.py')
sys.exit()...
2237 просмотров
schedule
16.04.2023
Перенос (просто типизированного) доказательства насыщения термов лямбда-исчисления с Coq на Agda
Я пытаюсь перенести msubst_R с Основы программного обеспечения, т. 2 в Агду. Я пытаюсь избежать большого количества хлопот, используя типизированное представление терминов. Ниже мой порт всего до msubst_R ; Я думаю, что внизу все нормально,...
120 просмотров
schedule
02.06.2022
Вложенная рекурсия и `Program Fixpoint` или` Function`
Я хотел бы определить следующую функцию, используя Program Fixpoint или Function в Coq:
Require Import Coq.Lists.List.
Import ListNotations.
Require Import Coq.Program.Wf.
Require Import Recdef.
Inductive Tree := Node : nat -> list Tree...
1473 просмотров
schedule
12.10.2022
Почему программа проверки завершения Coq не поддерживает случай, когда один аргумент становится структурно меньше, а другие остаются прежними
Программа проверки завершения Coq не любит такие функции, как:
Fixpoint interleave (A : Type) (l1 l2 : list A) : list A :=
match l1 with
| cons h1 t1 => cons h1 (interleave l2 t1)
| nil => l2
end.
Однако некоторые другие языки...
196 просмотров
schedule
18.04.2023
Могу ли я сделать «сложную» взаимную рекурсию в Coq без привязки let?
Рассмотрим следующую пару взаимно рекурсивных типов данных Coq, которые представляют Forest непустых Tree . Каждый Branch из Tree содержит дополнительный логический флаг, который мы можем извлечь с помощью isOK .
Inductive Forest a :...
235 просмотров
schedule
03.07.2023
pyomo с решателем gurobi критерий завершения максимального срока не работает
Я пытаюсь решить проблему оптимизации в pyomo с помощью gurobipy. Учитывая размер проблемы, я хотел бы установить ограничение по времени в 100 секунд в качестве критерия завершения. Хотя я указал это в параметрах решателя следующим образом, похоже,...
239 просмотров
schedule
09.07.2023
Приложение прекращено после X раз запуска нового действия
У меня есть простое приложение с двумя действиями: MainActivity (с двумя фрагментами) и GameActivity. В одном из фрагментов FragmentHome у меня есть FloatingButton, который при нажатии запускает мою GameActivity. Когда игра заканчивается, я...
42 просмотров
schedule
11.08.2022