Pull requests - Projektwoche-20/server_pinger - kescherGit

Projektwoche-20/server_pinger

Search syntax

`assignee:<username>`	Filter by assigned user
`author:<username>`	Filter by the author
`is:all`	All
`is:closed`	Closed
`is:open`	Open
`mentions:<username>`	Filter by mentioned user
`modified:[>\|<]<date>`	Filter by last modified date
`review:<username>`	Filter by user who reviewed
`sort:<by>:[asc\|desc]`	Sort by: `created\|comments\|updated\|deadline`

New pull request

Release

#36 by kescher was merged 2020-01-31 08:18:10 +00:00

finalize app for presentation tomorrow

#35 by kescher was merged 2020-01-30 12:25:39 +00:00

Removed FloatingActionButton that should go to Settings

#34 by hugo.bayer was merged 2020-01-30 12:10:09 +00:00

When creating a server you now have to choose from http:// or https:// and you now see what the icon means

#33 by hugo.bayer was merged 2020-01-30 09:32:32 +00:00

jeremy/0129/fix-release-builds

#32 by kescher was merged 2020-01-29 15:05:11 +00:00

update state when setting serversInitialised flag

#31 by kescher was merged 2020-01-29 14:36:48 +00:00

changed that when the displayname is empty it will be saved as empty

#30 by hugo.bayer was merged 2020-01-29 13:49:23 +00:00

Fixes to persistence

#29 by kescher was merged 2020-01-29 13:42:27 +00:00

Server list persistence added

#28 by kescher was merged 2020-01-29 13:27:05 +00:00

Check for connectivity issues 2: electric boogaloo

#27 by kescher was merged 2020-01-29 11:43:55 +00:00

Added shared preferences todo where it has to be saved, deleted and loaded

#26 by hugo.bayer was merged 2020-01-29 11:43:48 +00:00

Check for connectivity issues

#25 by kescher was merged 2020-01-29 11:31:22 +00:00

Made the whole addServer button a button

#24 by hugo.bayer was merged 2020-01-29 10:57:10 +00:00

Better border style

#23 by kescher was merged 2020-01-29 10:52:35 +00:00

Made servers closeable by clicking again

#22 by hugo.bayer was merged 2020-01-29 10:40:58 +00:00

Styling changes

#21 by kescher was merged 2020-01-29 10:38:19 +00:00

Added the ability to edit Servers 2

#20 by hugo.bayer was merged 2020-01-29 10:18:54 +00:00

Added the abillity to edit an existing Server

#19 by hugo.bayer was merged 2020-01-29 10:12:13 +00:00

Added the ability to edit Servers

#18 by hugo.bayer was closed 2020-01-29 09:51:00 +00:00

1 conflicting file

Cleanup code

#17 by kescher was merged 2020-01-29 09:40:48 +00:00

added the ability to delete Servers

#16 by hugo.bayer was merged 2020-01-29 09:31:33 +00:00

removed the try catch again

#15 by hugo.bayer was merged 2020-01-29 08:37:11 +00:00

Added the abillity to add a server but still not being saved and added a catch to Jermys code, da es ein TimoutExeption gegeben hat

#14 by hugo.bayer was merged 2020-01-29 08:33:07 +00:00

Implemented server check

#13 by kescher was merged 2020-01-28 14:05:26 +00:00

Made the Server Entries Selectable

#12 by hugo.bayer was merged 2020-01-28 13:25:03 +00:00

added speed dial and changed the main colors

#11 by hugo.bayer was merged 2020-01-28 11:09:38 +00:00

update serverlist

#10 by hugo.bayer was merged 2020-01-28 10:19:52 +00:00

Check status method

#9 by kescher was merged 2020-01-28 09:22:34 +00:00

Changed seperate string lists to one server list, added that every 5 seconds the icons are randomized finished the generate icon method

#8 by hugo.bayer was merged 2020-01-28 09:12:41 +00:00

Add server data class

#7 by hugo.bayer was merged 2020-01-28 08:18:48 +00:00

1 2