Merge pull request #3387 from dotty-staging/dotty-bot

allanrenucci · web-flow · commit 863d1a3cb36b · 2017-10-26T11:31:34.000+02:00
Fix logging issue in dotty-bot
diff --git a/bot/src/dotty/tools/bot/PullRequestService.scala b/bot/src/dotty/tools/bot/PullRequestService.scala
@@ -68,7 +68,7 @@ trait PullRequestService {
           BadRequest("Missing header: X-Github-Event")
 
         case event =>
-          BadRequest("Unsupported event: $event")
+          BadRequest(s"Unsupported event: $event")
 
       }
   }

Original file line number	Diff line number	Diff line change
`@@ -68,7 +68,7 @@ trait PullRequestService {`
`68`	`68`	`BadRequest("Missing header: X-Github-Event")`
`69`	`69`
`70`	`70`	`case event =>`
`71`		`- BadRequest("Unsupported event: $event")`
	`71`	`+ BadRequest(s"Unsupported event: $event")`
`72`	`72`
`73`	`73`	`}`
`74`	`74`	`}`