diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2019-03-25 21:57:06 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2019-03-25 21:57:06 +0200 |
| commit | 8952c58b0405f01b68a19b46d10a7506b674b9a8 (patch) | |
| tree | dba32cca6c4f12dabb560445dfe5f88cc25990c3 /awklib/eg/network/remconf.awk | |
| parent | aced49eee334d9905208cda470d1cb14393613a2 (diff) | |
| download | egawk-8952c58b0405f01b68a19b46d10a7506b674b9a8.tar.gz egawk-8952c58b0405f01b68a19b46d10a7506b674b9a8.tar.bz2 egawk-8952c58b0405f01b68a19b46d10a7506b674b9a8.zip | |
Doc updates to gawkinet.texi.
Diffstat (limited to 'awklib/eg/network/remconf.awk')
| -rw-r--r-- | awklib/eg/network/remconf.awk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/awklib/eg/network/remconf.awk b/awklib/eg/network/remconf.awk index ef922265..56f27142 100644 --- a/awklib/eg/network/remconf.awk +++ b/awklib/eg/network/remconf.awk @@ -13,7 +13,7 @@ function SetUpServer() { if (ConfigFile == "") ConfigFile = "config.asc" } function HandleGET() { - if(MENU[2] == "AboutServer") { + if (MENU[2] == "AboutServer") { Document = "This is a GUI for remote configuration of an\ embedded system. It is is implemented as one GAWK script." } else if (MENU[2] == "ReadConfig") { |