07-18-2005
Thanks
so what youre saying is both Deamon(unix) and Services(windows) are both same.
regards
victor
10 More Discussions You Might Find Interesting
1. UNIX for Advanced & Expert Users
hi
how to write deamon program
i specified in detail i want to write c++ program when it run it run like deamon process (1 Reply)
Discussion started by: munnu
1 Replies
2. AIX
How will we check whether error deamon is started or not? any command is there? If it is not started how will we start the deamon. This server is highly critical server.
Pls, Let me know.
Thanks in advance. (1 Reply)
Discussion started by: pernasivam
1 Replies
3. Shell Programming and Scripting
Hi experts,
I haved checked dir /etc/xinetd.d and there are no ftp and telnet files
in this dir
It means that the deamon's for ftp and telnet has not been installed on
my server or OS.
But,my question is in the same folder /etc/xinetd.d i have got files like:
echo netstat ....
so, How... (1 Reply)
Discussion started by: salil2012
1 Replies
4. HP-UX
how to know if ntp deamon is start or stop
how to determine it
by command
thanks (1 Reply)
Discussion started by: alert0919
1 Replies
5. Red Hat
Hi everyone.
Now, i want to permit for an user to start, stop and reconfig some of daemon on Redhat system without root permission.
So how can i do ?
Tks all. (2 Replies)
Discussion started by: quan0509
2 Replies
6. AIX
we have several deamon processes which were killed for some unknown reasons. we have to bring the deamon back manually everytime. Deamons running on 2 identical instances. It is ok on one instance but be killed 3 or 4 times a day on another. Any idea how to monitor it? like who/how the processes be... (3 Replies)
Discussion started by: hamiltonhall
3 Replies
7. Shell Programming and Scripting
Hi
Hope you are having a great weeknd !! I had a question and need your expertise for this :
I have 2 files File1 & File2(of same structure) which I need to compare on some columns. I need to find the values which are there in File2 but not in File 1 and put the Differences in another file... (5 Replies)
Discussion started by: newbie_8398
5 Replies
8. Linux
I have install centos on my server,.. then after rebooting 2 ,3 times , hal deamon cannot start, and system hang on boot.. when i google, i found the solution which is off the hal daemon service... my question is, what is the effect if i off the deamon service ?:confused:
tq (2 Replies)
Discussion started by: ultramen7
2 Replies
9. Red Hat
I had a doubt if any services need to be restarted if port no in /etc/services in an RHEL setup is changed. For eg, the port no of 443 for SSL may need to be changed.
I hope my query is clear whether any services need to be restarted if port no in /etc/services is changed.
Please revert with... (10 Replies)
Discussion started by: RHCE
10 Replies
10. Shell Programming and Scripting
Hi,
I just started working on a script. After my research, i found a command which can help me:
AIM: To build a script which starts the services (Services 1) on server 1 automatically whenever its down. And it has a dependency on other service (Service 2) on Server 2.
So my script has to... (4 Replies)
Discussion started by: draghun9
4 Replies
LEARN ABOUT DEBIAN
victor
victor(1) victor(1)
NAME
victor - attempts to discharge verification conditions using SMT solvers
SYNOPSIS
victor [UNIT]
DESCRIPTION
The victor command is a wrapper around ViCToR (vct) which simplifies its use. ViCToR translates SPARK verification conditions into SMTlib
and feeds them to an SMT solver. SPARK ships with one such SMT solver, alt-ergo, but it is possible to use others solvers such as cvc3.
The intended use of victor is to discharge true VCs left over by the Simplifier and not replace the Simplifier. Please also note that ViC-
ToR is considered to be an experimental feature at the moment.
This manual page only summarises the victor command-line flags, please refer to the full VictorWrapper manual for further information.
OPTIONS
These options do not quite follow the usual GNU command line syntax as options start with a single dash instead of the usual two.
-h, -help
Shows command-line help.
-t=SECONDS
Time-out the SMT solver after this many seconds (by default 5) using ulimit. To disable time-out specify 0.
-m=MEGABYTES
Limit the SMT solver to this many MiB of virtual memory (by default no limit) using ulimit.
-v Ignore the presence of any siv files and process vcg files only. By default, given a UNIT such as foo, victor will first attempt to
process foo.siv and then fall back to foo.vcg.
-plain Plain mode -- supress timings and versions.
-solver=SOLVER
Specifies an alternative SMT solver. By default we use alt-ergo. Can be one of alt-ergo, cvc3, yices or z3. The alt-ergo solver is
distributed with SPARK. The cvc3 solver is part of Debian. The yices and z3 solvers are proprietary.
SEE ALSO
spark(1), sparksimp(1), spadesimp(1), zombiescope(1), pogs(1)
sparkformat(1), sparkmake(1)
cvc3(1)
AUTHOR
This manual page was written by Florian Schanda <florian.schanda@altran-praxis.com> for the Debian GNU/Linux system (but may be used by
others). Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Ver-
sion 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts and no Back-Cover
Texts.
22 March 2011 victor(1)