iskm/Hermes
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge branch 'master' of github.com:oplS17projects/Hermes

Browse Source 
* 'master' of github.com:oplS17projects/Hermes:
  minor configs for demo
This commit is contained in:
Ibrahim Mkusa 2017-04-24 14:08:38 -04:00
commit 3cfff385f1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Hermes/GUI.rkt
View File

@ -259,7 +259,7 @@
(define (prompt-hostname)
(define returned (get-text-from-user "Hostname set-up" "Please enter a hostname"
main-frame "localhost" (list 'disallow-invalid)
main-frame "67.186.191.81" (list 'disallow-invalid)
#:validate
(lambda (input)
(if (and (string? input) (<= (string-length input) 50)