termination

1열

1답변

로그를 작성했으며 파이썬 스크립트를 강제 종료 할 때 로그를 업데이트하려고합니다. 이렇게하면 모든 강제 종료에 대한 정보를 얻을 수 있습니다. 시도했지만 정상 종료시에만 atexit()이 실행됩니다.

1열

2답변

에 을 기능의 종료를 증명 : regex 정규 표현식의 유형이고 le_regex이 정규 표현식에 대한 전체 순서를 구현 Fixpoint norm_union u v : regex := match u, v with | Empty , v => v | u , Empty => u | Union u v, w => norm

1열

1답변

인수를 감소 (어떤 프로그램 Fixpoint입니다)

다음 fixpoint을 고려가 감소 fixpoint를 추측 할 수 없기 때문에 Require Import Coq.Lists.List. Import ListNotations. Inductive my_type: Type:= | Left: my_type | Right: my_type . Fixpoint decrease (which: my_type)

0열

1답변

safari - swift를 연 후 앱 종료

사파리를 통해 링크가 열리는 앱에 버튼이 있습니다. 사용자가 웹에서 수행하는 작업이 있으며 브라우저의 버튼을 누르면 응용 프로그램으로 돌아갑니다. 내가해야 할 일은 사파리가 열릴 때 앱을 종료하여 사용자가 양식 브라우저를 다시 열 때 이전 데이터가없는 상태에서 앱을 종료하는 것입니다. 그건 내가 링크를 열 방법은 다음과 같습니다 let adrs = "myl

0열

2답변

XCTest의 각 테스트 케이스 종료 후 앱 종료가 중지됩니다.

XCTest에 익숙하지 않아 10 개의 테스트 케이스가 있고 각 테스트 케이스가 상호 의존적 인 애플리케이션 용 샘플 프로젝트가 있습니다. 내 응용 프로그램을 종료하고 다음 메소드를 호출하는 각 테스트 케이스 후 테스트 슈트, 나는 그것이 응용 프로그램을 종료하지 않으려는하지만 테스트 케이스 하나를 사전에 감사를 마치고 같은 장소에서 계속하는

-1열

1답변

Delphi OmniThreadLibrary 3.03b : IBackgroundWorker - 종료가 작동하지 않습니다.

OmniThreadLibrary에서 BackgroundWorker 종료 문제가 있습니다. 모든 것은 괜찮습니다. 그러나 BackgroundWorker를 종료하려면 종료가 실패하고 BackgroundWorker가 아직 살아 있습니다. 따라서 배치 프로세스로 실행되는 전체 응용 프로그램은 아직 살아 있습니다. procedure TEntityIndexer.Sta

1열

1답변

Coq에서 Agda 로의 포팅 (단순 유형 지정) 람다 수학 용어

msubst_R을 Software Foundations, vol. 2에서 Agda로 이식하려고합니다. 용어에 대한 형식화 된 표현을 사용하여 많은 작업량을 피하려고합니다. 아래는 나의 항구 다 msubst_R; 나는 아래 모든 것이 훌륭하다고 생각하지만, 문제가되는 부분에 대해서는 필요합니다. 그들은 내 문제를 보여줄 필요하지 않기 때문에 나는 bool 및

0열

1답변

파이썬 하위 프로세스가 종료되지 않습니다.

파일 집합에서 다양한 도구를 실행하려면 다음 명령 클래스를 사용하여 파일을 호출합니다. import subprocess import threading import logging logger = logging.getLogger('root') class Command(object): def __init__(self, cmd): s

0열

1답변

C++에서 스레드 종료를 추적하는 방법 11

안녕하십니까, C++ 11에서 멀티 스레딩을 사용하고 있습니다. 모든 실행중인 스레드와 종료 된 스레드를 추적하는 메커니즘을 만들고 싶습니다. 스레드가 종료되면 자동으로 종료 된 스레드가 생성됩니다. 누구든지 C++ 11에서 이것을 구현하는 방법에 관한 아이디어가 있습니까? 대단히 감사드립니다.

0열

1답변

Ctrl + c 프로세스 배치 파일이 아닌

작업 목록으로 원격 사용자 프로세스를 가져 오는 배치 파일을 작업하고 있습니다. Ctrl + C를 눌러 실행중인 프로세스를 종료하고 Y 키를 누르면 배치 파일이 닫힙니다. 하지만 제 요구 사항은 특정 라벨을 말하십시오 : 시작.