From 562893f83ea0e32eeb0795bb2d73329f749fdb58 Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Thu, 15 Mar 2012 14:04:11 +0400
Subject: [PATCH] Fixing the behavior for non-physical JetFiles (e.g. the ones
 created by WebDemo)

---
 .../backend/src/org/jetbrains/jet/codegen/GenerationState.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/compiler/backend/src/org/jetbrains/jet/codegen/GenerationState.java b/compiler/backend/src/org/jetbrains/jet/codegen/GenerationState.java
index 3ba126291e3..9c182202ce0 100644
--- a/compiler/backend/src/org/jetbrains/jet/codegen/GenerationState.java
+++ b/compiler/backend/src/org/jetbrains/jet/codegen/GenerationState.java
@@ -147,7 +147,8 @@ public class GenerationState {
             for (JetFile file : files) {
                 if (file == null) throw new IllegalArgumentException("A null file given for compilation");
                 VirtualFile vFile = file.getVirtualFile();
-                progress.log("For source: " + vFile.getPath());
+                String path = vFile != null ? vFile.getPath() : "no_virtual_file/" + file.getName();
+                progress.log("For source: " + path);
                 try {
                     generateNamespace(file);
                 }