1 /* 2 +----------------------------------------------------------------------+ 3 | PHP Version 7 | 4 +----------------------------------------------------------------------+ 5 | Copyright (c) 1997-2018 The PHP Group | 6 +----------------------------------------------------------------------+ 7 | This source file is subject to version 3.01 of the PHP license, | 8 | that is bundled with this package in the file LICENSE, and is | 9 | available through the world-wide-web at the following url: | 10 | http://www.php.net/license/3_01.txt | 11 | If you did not receive a copy of the PHP license and are unable to | 12 | obtain it through the world-wide-web, please send a note to | 13 | license@php.net so we can mail you a copy immediately. | 14 +----------------------------------------------------------------------+ 15 | Authors: Keyur Govande <kgovande@gmail.com> | 16 +----------------------------------------------------------------------+ 17 */ 18 19 /* $Id$ */ 20 21 #ifndef PS_TITLE_HEADER 22 #define PS_TITLE_HEADER 23 24 #define PS_TITLE_SUCCESS 0 25 #define PS_TITLE_NOT_AVAILABLE 1 26 #define PS_TITLE_NOT_INITIALIZED 2 27 #define PS_TITLE_BUFFER_NOT_AVAILABLE 3 28 #define PS_TITLE_WINDOWS_ERROR 4 29 30 extern char** save_ps_args(int argc, char** argv); 31 32 extern int set_ps_title(const char* new_str); 33 34 extern int get_ps_title(int* displen, const char** string); 35 36 extern const char* ps_title_errno(int rc); 37 38 extern int is_ps_title_available(); 39 40 extern void cleanup_ps_args(char **argv); 41 42 #endif // PS_TITLE_HEADER 43
