diff options
| author | Guy Harris <guy@alum.mit.edu> | 2018-03-20 11:08:23 -0700 |
|---|---|---|
| committer | Guy Harris <guy@alum.mit.edu> | 2018-03-20 18:09:10 +0000 |
| commit | 032554fe3f4b8e7b96d050352976f7416d11c5c0 (patch) | |
| tree | 90ec0a5f95477c27579a873fed2716fc09548d78 /ui/ws_ui_util.h | |
| parent | ed3a9eb41c2b518354a8b1c5a31d40038f4ed12d (diff) | |
Note that exit_application() has UI-specific implementations.
Change-Id: I79d51dd4301451d4158d172d0b05094cb3d5d61b
Reviewed-on: https://code.wireshark.org/review/26576
Reviewed-by: Guy Harris <guy@alum.mit.edu>
Diffstat (limited to 'ui/ws_ui_util.h')
| -rw-r--r-- | ui/ws_ui_util.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ui/ws_ui_util.h b/ui/ws_ui_util.h index 8948f4696c..20cf4d3fe3 100644 --- a/ui/ws_ui_util.h +++ b/ui/ws_ui_util.h @@ -45,6 +45,7 @@ extern void main_window_nested_quit(void); /* quit the main window */ extern void main_window_quit(void); +/* Exit routine provided by UI-specific code. */ extern void exit_application(int status); /* read from a pipe (callback) */ |