Changes between Version 7 and Version 8 of UserGuide/Service/DebianUbuntuInitd


Ignore:
Timestamp:
06/22/2013 11:56:30 PM (10 years ago)
Author:
orax
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • UserGuide/Service/DebianUbuntuInitd

    v7 v8  
    7979fi 
    8080 
    81 #                                                                                            
    82 # Function to verify if a pid is alive                                                       
    83 #                                                                                            
     81# 
     82# Function to verify if a pid is alive 
     83# 
    8484is_alive() 
    8585{