26 lines
931 B
Plaintext
26 lines
931 B
Plaintext
$OpenBSD: patch-parser-specs_config_spec,v 1.7 2019/01/18 11:57:36 giovanni Exp $
|
|
|
|
Index: parser-specs/config.spec
|
|
--- parser-specs/config.spec.orig
|
|
+++ parser-specs/config.spec
|
|
@@ -49,7 +49,6 @@ state INITIAL:
|
|
'show_marks' -> SHOW_MARKS
|
|
'workspace' -> WORKSPACE
|
|
'ipc_socket', 'ipc-socket' -> IPC_SOCKET
|
|
- 'ipc_kill_timeout' -> IPC_KILL_TIMEOUT
|
|
'restart_state' -> RESTART_STATE
|
|
'popup_during_fullscreen' -> POPUP_DURING_FULLSCREEN
|
|
exectype = 'exec_always', 'exec' -> EXEC
|
|
@@ -287,11 +286,6 @@ state WORKSPACE_OUTPUT_STR:
|
|
state IPC_SOCKET:
|
|
path = string
|
|
-> call cfg_ipc_socket($path)
|
|
-
|
|
-# ipc_kill_timeout
|
|
-state IPC_KILL_TIMEOUT:
|
|
- timeout = number
|
|
- -> call cfg_ipc_kill_timeout(&timeout)
|
|
|
|
# restart_state <path> (for testcases)
|
|
state RESTART_STATE:
|