Stack Overflow
Stack Overflow

Questions tagged [termination]

is used in its general meaning, but it is bounded by the programming scope.

351 questions
0
votes
2 answers

Cannot determine termination

Function for determining if a set is a subset of another: Fixpoint subset (s1:bag) (s2:bag) : bool := match s1 with | nil => true | h :: t => match (beq_nat (count h s1) (count h s2)) with | true => subset (remove_all h t) (remove_all h…
Alex
  • 18,484
  • 8
  • 60
  • 80
0
votes
1 answer

How is `ffplay` detecting that the sound file from pipe-connected ffmpeg has finished?

The following code playes "sample.mp3", and terminates. This is so surprising because the data passed via pipe are binary streams, so ffplay should have no idea about the duration of "sample.mp3", but it terminates right after it reaches the end. $…
Izumi Kawashima
  • 1,197
  • 11
  • 25
0
votes
1 answer

Ctrl+c terminate process not batch file

I'm working on a batch file which get remote user process by tasklist. When i press ctrl+c to terminate running process and press Y, it closes the batch file. But My requirement is to move on specific Label say :start.
Mazhar Ali
  • 111
  • 2
  • 6
0
votes
1 answer

readarray keyword stop value

My goal is to read user input into an array for later use in the bash script. It works insofar as taking the users input and putting it into an array, but only if the user knows to press CTRL+D to terminate the readarray command. Is there a away to…
Mormodes
  • 25
  • 1
  • 4
0
votes
4 answers

Some char arrays don't end with '\0'

I have a simple code in C to see if three same char arrays all end with '\0': int main(){ char a[4] = "1234"; char b[4] = "1234"; char c[4] = "1234"; if(a[4] == '\0') printf("a end with '\\0'\n"); if(b[4] == '\0') …
Tony Chen
  • 207
  • 2
  • 13
0
votes
2 answers

Termination proof for function on datatype involving a map

I have the following language of records: datatype "term" = Rcd "string ⇀ term" fun id_term :: "term ⇒ term" where "id_term (Rcd vals) = Rcd (map_option id_term ∘ vals)" This doesn't pass the termination checker, because the type's size…
Sebastian Graf
  • 3,602
  • 3
  • 27
  • 38
0
votes
1 answer

connect call from local number to termination provider

We are a telecom company that allow our clients to call from a mobile application or their landline to friend or family around the globe... Our system works like these application:…
Khac Quyet Dang
  • 39
  • 5
0
votes
1 answer

While loop termination overriden?

I have this simple program to calculate number of grains with respect to squares: #include "library/std_lib_facilities.h" /*There is an old story that the emperor wanted to thank the inventor of the game of chess and asked the inventor to name his…
Onome Sotu
  • 666
  • 9
  • 18
0
votes
1 answer

terminate app after opening safari - swift

I have a button in my app that opens a link via safari. There are some tasks user does in web and finally returns to app on pressing a button in browser. what I need to do is to terminate app when safari opens so that when user comes back form…
Hos Ap
  • 1,168
  • 2
  • 11
  • 24
0
votes
1 answer

How to keep track on termination of thread in c++11

Hello everyone, I am using multi threading in c++11. I want to make mechanism in which it will keep track of all running and terminated threads.If any thread is terminated then it will automatically create the terminated thread. Anyone…
parth gandhecha
  • 11
  • 4
0
votes
2 answers

Python program Terminated due to timeout

I am trying to solve a question from hackerrank and when I submit my solution, I get an error stating "Terminated due to timeout". Please check the code and suggest me how to optimize. Statement : You have an empty sequence, and you will be given …
Sai Raman Kilambi
  • 878
  • 2
  • 12
  • 29
0
votes
1 answer

UIApplicationWillTerminateNotitication limitations?

What are the possibilities I have when I receive a UIApplicationWillTerminateNotification? I want to perform a data task to send some data to my remote server, but if I try to call the method that executes this process the execution stops right…
Mark Carols
  • 403
  • 4
  • 20
0
votes
1 answer

MongoDB erlang connection ending

I'm trying to connect to MongoDB server from terminal and want to execute few commands for practice. but its throwing following error (MongoDB driver for erlang got from git https://github.com/comtihon/mongodb-erlang) I heard problem could be the…
murty
  • 41
  • 1
  • 4
0
votes
1 answer

Create a Process in Python that Starts After Main Process Ends

I have a python script named "prog.py". I want to add a feature that opens a new process that watches the operation of the current script. When the script terminates, the process recognizes the termination and then invokes a certain function. Here…
CrazySynthax
  • 13,662
  • 34
  • 99
  • 183
0
votes
1 answer

Is there a way to subtract/sum the elapsed time in Timer function with Matlab?

Say we have a call-back timer function call_time(obj, event). I want to know the elapsed time (delt_time) during the execution of timer function once it is started. Furthermore, I want to use that elapsed time to decide if the function will be…
Orangeblue
  • 229
  • 1
  • 5
  • 15
1 2 3
…
23 24